第三章真值表的判定作用第一节重言式矛盾式可满足式一、真值联结词比较下面两个例子1、如果天下雨，那么地上湿。
2、如果2+2=4，那么北京是个大城市。
第一例我们听起来就觉得顺耳，符合我们的语言习惯。
第二句我们听起来觉得有点别扭，不符合我们的语言习惯。
这就说明我们平时说“如果……那么……”时除了考虑前后件的真假以外，还考虑了前后件之间意义上的联系。
但是从现代逻辑的观点看，这两个命题都是正确的。
因为现代逻辑撇开了命题间意义上的联系，仅研究命题间的真假关系。
由于现代命题逻辑和传统逻辑一样都属二值逻辑，真和假是命题仅有的两个值，统称“真值”，因此，复合命题与肢命题之间在真假方面的联系，就是真值联系。
所谓真值联结词是指仅仅表示复合命题与肢命题之间真假关系的联结词。
基本的真值联结词有五个1、否定（并非）┒2、合取（并且）∧3、析取（或者）∨4、蕴涵（如果……那么……）→5、等值（当且仅当……才）←二、真值形式定义：真值形式是指由真值联结词和命题变项所构成的形式结构。
第二章所讲的所有的复合命题的形式结构和复合命题推理的形式结构都是真值形式。
但是第五章中的讲的性质命题和第六章所讲的关系的命题不是真值形式。
例：P∧q （P∧q）→P 是真值形式但 SAP aRb 不是真值形式真值形式是命题形式的一部分。
最基本的真值形式有五种1、否定式：┒P2、合取式：P∧q3、析取式：P∨q4、蕴涵式：P→q5、等值式：P←q其他的真值形式都是由这五种基本真值形式构成的。
三、重言式、矛盾式、可满足式（一）重言式的定义如果一真值形式不论其中的变项赋什么值，这个真值形式的值总是真的，这样的真值形式叫做重言式。
（重言式）如P∨ ┑q，P→P等等（二）矛盾式的定义如果一真值形式不论其中的变项赋什么值，这个真值形式的值总是假的，这样的真值形式就叫矛盾式。
（永假式）如P∧ ┑q（三）可满足式的定义如果一真值形式当其中的变项赋不同的值后，这个真值形式的值在有些情况下是真的，在有些情况下是假的，那么这样的真值形式就是可满足式。
