6第三章真值表的均定作闭
第三章 真值表的判定作用
第一节重言式、矛盾式、可 满足式
第一节 重言式、矛盾式、可 满足式
真值联结词 6定义:真值联结词是指仅仅表示复合命 题与肢命题之间真假关系的联结词 6真值联结词主要有五个: 6(否定)、∧(合取) ⅴ(析取)、→(蕴涵) ←→(等值)
一、真值联结词 定义：真值联结词是指仅仅表示复合命 题与肢命题之间真假关系的联结词。 真值联结词主要有五个： ¬（否定）、∧（合取）、 ∨（析取）、→（蕴涵）、 ←→（等值）
真值形式 6定义:真值形式是指由真值联结词和命题变项 所构成的形式结构 6五种基本的真值形式 6否定式:→p 6合取式:pq 析取式:pvq 蕴涵式:pq 6等值式:p←→q
二、真值形式 定义：真值形式是指由真值联结词和命题变项 所构成的形式结构。 五种基本的真值形式 否定式： ¬p 合取式：p∧q 析取式：p∨q 蕴涵式：p→q 等值式：p←→q
五种装本真值形式的真值 表 6T表示“真”、F表示“假” 1、一D p p T
三、五种基本真值形式的真值 表 T 表示“真” 、F 表示“假” 1、¬p p ¬p T F F T
2、p1 PAq pTTFF qTFTF T FFF
2、 p∧q p q p∧q T T T T F F F T F F F F
3 q p q pTTFF T TTT T F F
3、p∨q p q p ∨ q T T T T F T F T T F F F
4、p->q pTTFF TT
4、p→q p q p →q T T T T F F F T T F F T
5、p←→9 pTTFF T TFF
5、p←→q p q p ←→ q T T T T F F F T F F F T
③四、重言式、矛佰式、可满足 式 61、重言式(又叫永真式)是指在一个命 题形式中不论其中的变项取什么值,该 命题形式的值总是真的。 如: p ppTF F y p T T
四、重言式、矛盾式、可满足 式 1、重言式（又叫永真式）是指在一个命 题形式中不论其中的变项取什么值，该 命题形式的值总是真的。 如： p∨ ¬p p ¬p p∨ ¬p T F T F T T