命题逻辑真值表与演算技巧深度解析.pptx

逻辑学真值表及命题演算;一、真值联结词;二、真值形式;三、五种基本真值形式的真值表;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）→