逻辑学真值表及其命题演算.pptVIP

第五章 真值表方法与命题演算 教学重点与要点 完全真值表法的判定功用 归谬赋值法的操作与判定 命题演算证明方法的应用与构造 一、真值联结词 定义：真值联结词是指仅仅表示复合命题与肢命题之间真假关系的联结词。 真值联结词主要有五个： ?（否定）、∧（合取）、 ∨（析取）、→（蕴涵）、 ←→（等值） 二、真值形式 定义：真值形式是指由真值联结词和命题变项所构成的形式结构。 五种基本的真值形式 否定式： ?p 合取式：p∧q 析取式：p∨q 蕴涵式：p→q 等值式：p←→q 三、五种基本真值形式的真值表 定义，真值表是数理逻辑中用以定义命题联结词并确定复合命题真或假的一种图表。 T 表示“真”、F 表示“假” 1、?p 2、 p∧q 3、p∨q 4、p→q 5、p←→q 真值表判定程序的三个要求 （1）程序的每一步都是由事先给定的规则明 确规定好的； （2）对于所判定的对象是否具有某种性质， 该程序能够给出唯一确定的结果； （3）该程序能够在有穷步骤结束。 判定程序的特点： 机械的、能行的、可判定的。 完全真值表法 完全真值表的作法 三个步骤： 1、找出已给命题公式的所有变项，并竖行列出这些变项的所有真值组合； 2、根据命题公式的结构