逻辑学真值表及命题演算推选资料.ppt

逻辑学真值表及命题演算;一、真值联结词;二、真值形式;三、五种基本真值形式的真值表;2、p∧q;3、p∨q;4、p→q;5、p←→q;真值表判定程序的三个要求;完全真值表法;完全真值表法的判定功能;重言式、矛盾式、可满足式的判定;2、矛盾式（又叫永假式）是指在一个命题形式中不论其中的变项取什么值，该命题形式的值总是假的。

如：p∧?p;3、可满足式（协调式）是指在一个命题形式中不论其中的变项取什么值，该命题形式的值至少在一种情况下是真的。

如：p∧q

;真值表判定任一命题形式是否是重言式。

例1、（（p∨q）∧?p）→q

;p;例2、（（p∨q）∧p）→?q

;p;真值表判定任意两个复合命题之间是否具有等值关系;

由真值表可知这两个命题之间具有等值关系。;例2、?（p∨q）；?p∨?q;三、真值表帮助解决一些推理问题;解设p表示“甲是木工”；q表示“乙是泥工”。

A：?p→q

B：?q→?p

C：?p∧?q;p;练习题;?A??B（7，??等值）

F

?D?B(4－7.

(A??B)?C??B?C

机械的、能行的、可判定的。

B?D(8.

p?q(4---10?引入）

?C??B?D

C