第七讲 命题逻辑（下）目 录v第一节 命题公式与真值函项v第二节 命题公式之间的逻辑等值关系v第三节 基本的有效推理式v第四节 推理有效性的形式证明v第五节 无效推理的证明第一节 命题公式与真值函项v1.1 命题公式v1.2 命题公式与真值函项1.1命题公式v初始符号v命题变元：p，q，r，v命题联结词：，v辅助符号： （， ）逻辑变元 逻辑常元 辅助符号v 第1类符号是逻辑变元，它们是抽象的命题代表，如果代表真命题，变元取值为真，如果代表假命题则取值为假。因此这类符号称作以真值为定义域的变元。v 第2类符号是逻辑常元，它们有确定的逻辑解释因而能够表达某种确定的真假联系。v第3类符号则是为避免歧义以构造合式命题公式所需要的辅助符号。v 形成规则v 1、所有命题变元是命题公式；v 2、如果是命题公式，那么是命题公式v 3、如果、是命题公式，那么（），（）、（）和（ ）也是命题公式；v 4、只有符合以上3条的才是命题公式。1.1命题公式 pq r，p q，p q r 这些都不是命题公式。v 从逻辑的角度看，命题公式是构造出来的，具体命题只是命题公式的例示，即命题公式的一个特例。 如下具体命
