数理逻辑期末总结.ppt

5、求出下式的主析取范式1）?（P?Q）?（R?P）2）（P?Q）?（R?P） 6.利用主范式判断下列两个命题公式是否等价（1）(P ∧Q)∨(?P ∧R ) ∨(Q ∧R )（2） (P ∧Q)∨ (?P ∧R ) 7.设计一盏灯的开关电路时，要求三个开关A，B，C的控制：当且仅当AC同时关闭或者BC同时关闭时灯亮。用F表示灯亮，p,q,r分别表示开关A，B，C关闭，求F=F(p,q,r)的逻辑表达式以及F的主范式。 8.某电路中有1只灯泡和3个开关A，B，C。已知当且仅当在下述4种情况之一灯亮。（1）C的搬键向上，A和B的搬键向下。（2）A的搬键向上，B和C的搬键向下。（3）B和C的搬键都向上，A的搬键向下。（4）A和B的搬键都向上，C的搬键向下。求灯亮的逻辑表达式以及主范式。 11.在一次研讨会上，3名与会者根据王教授的口音分别进行下述判断：甲说：“王教授不是苏州人，是上海人”乙说：“王教授不是上海人，是苏州人”丙说：“王教授不是杭州人，也不是上海人”王教授听后笑道：“你们3人中有1人全说对了，有一人全说错了，有1人对错各半”。请问王教授是哪里人？ 11.符号化下列命题，并用推理方法证明谁是做案者：（1）A或B盗窃了金项链（2）若A作案，则作案时间不在营业时间（3）若B提供的证据正确，则货柜不上锁（4）若B提供的证据不正确，则作案时间在营业时间（5）货柜上锁另 P：A盗窃了金项链 Q：B盗窃的金项链 R：作案时间在营业时间 S：B提供的证据正确 G：货柜上锁 用反证法（即F规则）证明（?x）(?A(x) ?B(x)), （?x）?B(x) ?(?x)A(x) 用CP规则证明下式：  （?x）（?y）(P(x) ?Q(y)) ?(?x)P(x) ?(?y)Q(y) 解：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 解：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规则2和5 7、(?y)Q(y) UG规则和6 8、(?x)P(x) ?(?y)Q(y) CP规则1和7 * 总结 第一章 命题逻辑 命题； 命题联结词：否定( )，合取( )，析取( )，异或( )，蕴含( )，等值( )； 原子命题和复合命题； 命题符号化。 1. 命题 命题常元，命题变元，命题公式(或称公式)； 命题公式F(P1,P2,…,Pn)的真值指派，公式的真值表； 命题公式的分类：重言式(或永真式)、矛盾式(或永假式)和可满足公式； 2. 命题公式 总结 第一章 命题逻辑 3. 命题公式间的关系 命题公式间的等价关系( ) 命题公式间的蕴含关系( ) 基本的等价式； 基本的蕴含式； 判断公式类型的方法(真值表、等价公式变换、主范式)； 判定两公式是否具有等价和蕴含关系的方法。 总结 第一章 命题逻辑 推理的概念： 推理规则：四个规则； 4. 命题逻辑的推理理论 练习9-1 1.???? 判断下列语句哪些是命题，若是命题，则指出其真值。 （1） 只有小孩才爱哭。 （2） X+6=Y （3） 银是白的。 （4） 起来吧，我的朋友。 ( 是 假 ) ( 不是 ) ( 是 真 ) ( 不是 ) 2． 将下列命题符号化 （1）　我看见