真值表的判定.pptVIP

第1页，共31页，编辑于2022年，星期五 第一节 重言式、矛盾式、可满足式 第2页，共31页，编辑于2022年，星期五 一、真值联结词 定义：真值联结词是指仅仅表示复合命题与肢命题之间真假关系的联结词。 真值联结词主要有五个： ?（否定）、∧（合取）、 ∨（析取）、→（蕴涵）、 ←→（等值） 第3页，共31页，编辑于2022年，星期五 二、真值形式 定义：真值形式是指由真值联结词和命题变项所构成的形式结构。 五种基本的真值形式 否定式： ?p 合取式：p∧q 析取式：p∨q 蕴涵式：p→q 等值式：p←→q 第4页，共31页，编辑于2022年，星期五 三、五种基本真值形式的真值表 T 表示“真”、F 表示“假” 1、?p p ?p T F F T 第5页，共31页，编辑于2022年，星期五 2、 p∧q p q p∧q T T T T F F F T F F F F 第6页，共31页，编辑于2022年，星期五 3、p∨q p q p ∨ q T T