第五讲命题逻辑学习课件.pptVIP

第一节 命题公式与真值函项 第二节 命题公式之间的逻辑等值关系 第三节 基本的有效推理式 第四节 推理有效性的形式证明 第五节 无效推理的证明 第一节命题公式与真值函项 1.1 命题公式 1.2 命题公式与真值函项 1.1命题公式 初始符号 命题变元：p，q，r，… 命题联结词：∧，∨，→，?，? 辅助符号： （， ） 第1类符号是逻辑变元，它们是抽象的命题代表，如果代表真命题，变元取值为真，如果代表假命题则取值为假。因此1类符号称作以真值为定义域的变元。 第2类符号是逻辑常元，它们有确定的逻辑解释因而能够表达某种确定的真假联系。 第3类符号则是为避免歧义以构造合式命题公式所需要的辅助符号。 形成规则 1、所有命题变元是命题公式； 2、如果?是命题公式，那么??是命题公式 3、如果?、?是命题公式，那么（???），（?∧?）、（Φ∨Ψ）和（Φ?Ψ）也是命题公式； 4、只有符合以上3条的才是命题公式。 pq∧r，p?q，p∧→q r 从逻辑的角度看，命题公式是构造出来的，具体命题只是命题公式的例示，即命题公式的一个特例。 如下具体命题都是命题公式“（p∧q）→r”的例示： 如果加温到了一定限度且加压到一定限度，那么空气可以液化。 如果考试合格并且体验合格，那么就可以上大学。 1.2命题公式与真值函项 命题公式就相当于一个函数式，公式的值由变元的值唯一确定。 命题公式是一个