[离散数学]离散数学演示文件修改版.pptVIP

第二章 谓词逻辑 问题的提出：(即命题逻辑的局限性) 在第一章, 一个原子命题只用一个字母表示， 而不再对命题中的句子成分细分。这样有一些逻 辑问题无法解决。请看下面的例子。 例1.令Ｐ：小张是大学生。 Ｑ：小李是大学生。 从符号Ｐ、Ｑ中不能归纳出他们都是大学生的共 性。我们希望从所使用的符号那里带给我们更多 的信息，比如可以看出他们的共性。这种想法在 第一章是无法实现的。 例2.令 Ａ：所有自然数都是整数。 Ｂ：８是自然数。 Ｃ：８是整数。 这是著名的三段论推理，A是大前提，B是小前提， C是结论。显然，由Ａ和Ｂ可以推出结论Ｃ。这 个推理是有效的，但是这个推理在第一章也是无 法实现的。 分析：命题Ｐ与Ｑ中的谓语是相同的(是大学生), 只是主语不同。命题Ａ、Ｂ、Ｃ之间在主语谓语 方面也是有联系的，靠这种联系才能由Ａ、Ｂ推 出Ｃ。而从这三个符号上看不出此种联系。 所以就要另外考虑表示命题的方法。 解决这个问题的方法： 在表示命题时，既表示出主语，也表示出谓语， 就可以解决上述问题。这就提出了谓词的概念。 令S(x)表示x是大学生，a:小张，b:小李 命题P表示成S(a):小张是大学生。 命题Q表示成S(b):小李是大学生。 从符号S(a)、S(b)可看出小张和小李都是大学生的共性. 令N(x):x是自然数。I(x):x