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