逻辑学四章.ppt

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