第四章真值表方法与命题演算 教学重点与要点 完全真值表法的判定功用 >归谬赋值法的操作与判定 >命题演算证明方法的应用与构造
第四章 真值表方法与命题演算 教学重点与要点 ➢ 完全真值表法的判定功用 ➢ 归谬赋值法的操作与判定 ➢ 命题演算证明方法的应用与构造
学科知识的分析角度 命题推理形式有效性的传统判定方法 命题推理形式有效性的现代判定方法 真值表法 真值树法 命题演算自然演绎法
学科知识的分析角度 ⚫ 命题推理形式有效性的传统判定方法 ⚫ 命题推理形式有效性的现代判定方法 ➢ 真值表法 ➢ 真值树法 ➢ 命题演算自然演绎法
第一节真值表方法 、真值表方法 、方法介绍 2、方法种类 (1)完全真值表法 (2)简化真值表法 3、判定功能 (1)判定任一命题的性质 (2)判定两个命题之间的关系 (3)判定一组前提的一致性 4)判定一个推理的有效性 4、判定程序的三个要求
第一节 真值表方法 一、真值表方法 1、方法介绍 2、方法种类 (1)完全真值表法 (2)简化真值表法 3、判定功能 (1)判定任一命题的性质 (2)判定两个命题之间的关系 (3)判定一组前提的一致性 (4)判定一个推理的有效性 4、判定程序的三个要求
判定程序的三个要求 (1)程序的每一步都是由事先给定的规则明 确规定好的; (2)对于所判定的对象是否具有某种性质, 该程序能够给出唯一确定的结果; (3)该程序能够在由穷步骤结束。 判定程序的特点: 机械的、能行的、可判定的
判定程序的三个要求 （1）程序的每一步都是由事先给定的规则明 确规定好的； （2）对于所判定的对象是否具有某种性质， 该程序能够给出唯一确定的结果； （3）该程序能够在由穷步骤结束。 判定程序的特点： 机械的、能行的、可判定的
二、完全真值表法 1、完全真值表的作法 *例析4101* 三个步骤 1、找出已给命题公式的所有变项,并竖行列出这些变项的所有真 值组合; 2、根据命题公式的结构,由繁到简的依次横行列出,一次只引进 个连接词,直至列出该公式本身; 3、依据基本真值表,有变项的真值逐步计算出每个部分的真值, 最后列出整个公式得真值
二、完全真值表法 1、完全真值表的作法 三个步骤： 1、找出已给命题公式的所有变项，并竖行列出这些变项的所有真 值组合； 2、根据命题公式的结构，由繁到简的依次横行列出，一次只引进 一个连接词，直至列出该公式本身； 3、依据基本真值表，有变项的真值逐步计算出每个部分的真值， 最后列出整个公式得真值。 *例析4101*