真值形式 6定义:真值形式是指由真值联结词和命题变项 所构成的形式结构 6五种基本的真值形式 6否定式:→p 6合取式:pq 析取式:pvq 蕴涵式:pq 6等值式:p←→q二、真值形式 定义：真值形式是指由真值联结词和命题变项 所构成的形式结构。 五种基本的真值形式 否定式： ¬p 合取式：p∧q 析取式：p∨q 蕴涵式：p→q 等值式：p←→q