数理逻辑总结-zhou.pptVIP

* 总结 第二章 谓词逻辑 个体词、谓词和量词： 个体常元、个体变元、约束变元、自由变元； 命题函数，个体域，全总个体域。 1. 基本概念 原子公式，谓词公式： 谓词公式的解释； 谓词公式的分类：永真公式，永假公式，可满足公式。 2. 谓词公式 总结 第二章 谓词逻辑 3. 谓词公式间的关系 谓词公式间的等价关系( ) 谓词公式间的蕴含关系( ) 基本的等价式； 基本的蕴含式； 判定两公式是否具有等价和蕴含关系的方法 。 4. 谓词逻辑的推理理论 (1)含有量词的推理规则：全称特指规则(US)、存在特指规则(ES)； (2) P，T，CP，F。 全称推广规则(UG)、存在推广规则(EG)。 习 题 1 将下列命题符号化. （1）在上海高校学习的学生，未必都是上海籍的学生。 解 令 H(x)：x是在上海高校学习的学生 S(y)：y是上海籍的学生 或者 （2）没有一位女同志既是国家选手又是家庭妇女。 解 令W(x):x是一位女同志； C(x):x是国家选手； H(x):x是家庭妇女 x(W(x)∧C(x)∧H(x)) （3）对于每一个实数x，存在一个更大的实数y。 解 令R(x)：x是实数； G(x,y):x比y大。 x(R(x) y(R(y)∧G(y,x))) （4）某些汽车比所有的火车都慢，但至少有一列火车比每辆汽车快。 解 令C(x)：x是汽车；H(x)：x是火车； S(x,y): x比y慢。 2．将下一命题符号化。分析到个体词、谓词和量词，使用全总个体域。 “有些大学生不钦佩任何运动员” 解： 令P(x): x 是大学生 Q(y): y 是运动员 H(x, y): x 钦佩 y 3.将下列各公式翻译成自然语言，个体域为整数集I，并判断各命题的真值。 (1) (2) (3) 解: (1)对任意整数 任意整数 ，存在整数 ， 使得 。（真命题） (2)对任意整数 ，存在整数 ，使得 （假命题） (3)存在整数 ，使得对于任意整数 和任意整数 ， 有 （假命题） 4．试判断下列公式是否永真公式 (1) 解：原式 因此，（1）式是永真公式。 （2） 解：原式 此公式不是永真公式 设Q(y) F，个体域E = {a,b},P(a)=T,P(b)=F，则 但 因此 不是永真公式。 5 用等价公式变换法证明下一等值式 证明 (1) (2) 证明 6 证明下一蕴含式 证法一： 此题等价于证明 此题又等价于证明 6 证明下一蕴含式 证法二： 因此，必存在个体c，使P(c) 为真， Q(c) 为真。 7. 用构造推理过程的方法证明 证明 证明 用反证法（即F规则）证明（?x）(?A(x) ?B(x)), （?x）?B(x) ?(?x)A(x) 解：1、?(?x)A(x) P规则（假设前提） 2、（?x）? A(x) T规则和1 3、? A(x) US规则和2 4、（?x）(?A(x) ?B(x)) P规则 5、?A(x) ?B(x) US规则和4 6、B(x) T规则3和5 7、（?x）?B(x) P规则 8、?B(x) US规则和7 9、B(x) ? ?B(x) T规则6和8 10、(?x)A(x) F规则1和9 用CP规则证明下式：  （?x）（?y）(P(x) ?Q(y)) ?(?x)P(x) ?(?y)Q(y) 解：1、(?x)P(x) P规则（附加前提） 2、P(a) ES规则和1 3、（?x）（?y）(P(x) ?Q(y)) P规则 4、（?y）(P(a) ?Q(y)) US规则和3 5、P(a) ?Q(y) US规则和4 6、Q(y) T规