第三四章习题课.ppt

*;1.命题;2 命题的逻辑运算;已知P为T， P?Q为T，则Q为( )。 已知?Q为T, P?Q为T，则P为( )。 已知P ? Q为T，P为T , 则Q为( ). 已知P ? Q为F，P为T , 则Q为( ). P ? P 的真值为( ). P?P 的真值为( )。;3.命题的符号化;令P、Q为如下命题; P：你的车速超过每小时65英里（1英里=1.6公里） Q：你接到一张超速罚款单 用P、Q和逻辑连接词写出下列命题： a) 你的车速没有超过没小时65英里。 ?P b) 你的车速超过每小时65英里，但没接到超速罚款单。 P ∧?Q;c) 你的车速若超过每小时65英里，将接到一张超速罚款单。 P?Q d) 你的车速不超过每小时65英里，就不会接到超速罚款单。 ?P??Q e) 车速超过每小时65英里足以接到超速罚款单。 P ? Q f) 你接到一张超速罚款单，但你的车速没超过每小时65英里。 ?P∧Q;一个人起初说，“占据空间的、有质量的而且不 断变化的叫做物质”；后来他改说，“占据空间 的有质量的叫做物质，而物质是不断变化的。” 问他前后主张的差异在什么地方，以命题形式进 行分析。 P：它占据空间 R：它不断变化 Q：它有质量 S：它是物质 开头的主张为：(P∧Q∧R) ?S 后来改说：(P ∧Q ?S) ∧(S→R) 不同点：后来认为如有P ∧Q 必同时有R，开头 没有这样的主张。;4.命题公式; 构造命题公式(?P ∨Q)∧(?(P∧?Q))的真值表， 并求成真赋值和成假赋值。 ;证明等价公式成立的常用方法： 方法1： 真值表。 方法2： 等价公式推导。;根据等价的定义，用真值表;常用的等价公式;;求证 ?(P ∨ (?P ∧Q))? ?P∧?Q;证明(P ∧Q) ?(P ∧Q)为永真式 ;证明蕴含式P ?Q的方法 方法一：假设前件为T，推出后件也为T 方法二：假设后件为F，推出前件也为F;5. 蕴涵式的证明 ;求证 ((A∧B)?C)∧?D∧(?C∨D) ? ?A∨?B ;常用的逻辑蕴含式;6. 对偶;7. 析取范式与合取范式;;8.主析取范式与主合取范式;利用等价公式求主析取范式;求P →((P →Q) ∧ ?(?Q ∨ ?P))主析取范式;利用真值表求（P ∧Q) ∨(?P ∧R)的主析取范式与主 合取范式;思考下它们的规律？;范式的应用;9. 命题逻辑推理;真值表法;直接证明法;常见的蕴涵规则???;等价式规则表;反证法： 若证;CP规则 ;;逻辑难题;10.谓词表达命题（命题函数） ;3 小张不是工人 设W(x)：x是工人。a：小张。 ?W(c) 4 小莉是非常聪明和美丽的 C(x): x 是聪明的。.B(x): x是美丽的。L：小莉。 C(l) ∧B(l). 5 每一个有理数是实数 设Q(x)：x是有理数。R|(x)：x是实数。 ?x(Q(x)?R(x)) ;6 某些实数是有理数 设R(x)：x是实数。Q(x)：x是有理数 ?x(Rx)∧Q(x)) 7 直线A与直线B平行当且仅当直线A与B不相交 设P(x,y)：直线x平行于直线y。Q(x,y)：直线x与直线y相交 P(A,B) ? ? Q(A,B) ;11.谓词的逻辑推理;谓词演算推理规则;存在指定规则（ES，Existential Specification）;证明;构造下面推理的证明：任何自然数都是整数，存在着自然数，所以存在着整数。（这里，个体域为实数集R）;习题课内容到此结束