📄 content-2-0.htm
字号:
<html>
<head>
<title>Untitled Document</title>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
<style type="text/css">
<!--
.unnamed1 { line-height: 15pt; font-size: 9pt}
-->
</style></head>
<body background="IMAGE/di.gif">
<table width="100%" border="0" cellspacing="0" cellpadding="0">
<tr>
<td >
<p style="line-height: 150%" align="center"><font size="4"><b>谓词逻辑</b></font></p>
<p style="line-height: 150%"> 在命题逻辑中，命题演算的基本单位是<a href="content-1-1-1.htm">命题</a>，不再对原子命题进行分解，故无法研究命题语句的结构、成份和内在的逻辑特征。</span>
</p>
<p style="line-height: 150%"> 如果任何两个<a href="content-1-1-1.htm">原子命题</a>具有一些共同特征，那么欲表达这些共同特征，显然是不可能的事。这就使得在命题逻辑中，甚至无法处理一些简单而又常见的推理过程。</span>
</p>
<p style="line-height: 150%"> 例如: P:张三是大学生,Q:李四是大学生.</span>
</p>
<p style="line-height: 150%"> 再如: 著名的“苏格拉底（Socrates，古希腊哲学家，公元前470～399）论证”就是如此。<br>
</span> “所有的人总是要死的。<br>
</span> 因为苏格拉底是人。<br>
所以苏格拉底总是要死的。”</span>
</p>
<p style="line-height: 150%"> 凭直觉就能知道这个结论是真的，但是借助于命题演算的推理理论，却不能推
导出这个结论来。</span></span></span></span></span></span></span></span>
</p>
<p style="line-height: 150%"> 产生这种缺欠的原因在于，命题演算不能把命题“所有的人总是要死的”分解开来，去说明关于“人”的任何事情。反之，若是把“总是要死的”，与“所有的人”的这部分分解开来，则就有可能论述任何特定的“人”。为了研究这类本质性的问题，在原子命题中将引入谓词的概念。</span>
</p>
<p style="line-height: 150%"> 为此，将把原子命题分解成个体和谓词这样两个组成部分。</span>
</p>
<p style="line-height: 150%"> 所调<a href="content-2-1-1.htm">个体</a>，乃是不依赖于人们主观而存在的客观实体，可能是些具体的物体，也可能是些抽象的概念。</span>
</p>
<p style="line-height: 150%"> <a href="content-2-1-2.htm">谓词</a>，通常是用来描述个体的性质或者特征，或者是个体之间的关系。例如，在上述论证中，“人”是个体，而“是要死的”则是谓词。
<b>
在命题的研究中，基于谓词分析的逻辑，称为谓词逻辑。</b> 谓词逻辑是命题逻辑的扩充和发展。</span>
</p>
<p style="line-height: 150%">
</p>
</td>
</tr>
</table>
<table width="95%" border="0" cellspacing="0" cellpadding="0" height="85">
<tr>
<td width="8%" height="37">
<div align="center"><img src="IMAGE/dian-zhong.gif" width="31" height="32"></div>
</td>
<td width="19%" height="37">
<div align="center">本章重点：</div>
</td>
<td width="73%" height="30">
<div align="left">谓词公式、自然语言表述和谓词公式表示间的相互转化、基于谓词公式的推理</div>
</td>
</tr>
<tr>
<td width="8%" height="30">
<div align="center"><img src="IMAGE/dian-nan.gif" width="31" height="32"></div>
</td>
<td width="19%" height="30">
<div align="center">本章难点：</div>
</td>
<td width="73%" height="30">
<div align="left">把自然语言用谓词公式进行表示、谓词推理</div>
</td>
</tr>
</table>
<p style="line-height: 150%"> </p>
<p style="line-height: 150%" > </p>
<p style="line-height: 150%"> </p><p align="right"><b><a href="contentFrame-mulu.htm"><<back</a></b>
</body>
</html>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -