通过联结词 由简单命题构造复杂的命题 逻辑联结词： 否定联结词 合取联结词 析取联结词 条件联结词 双条件联结词 p 否定式p q 合取式p q 析取式p q 条件式p q 双条件式全称量词 x F(x)：表示个体域中 所有的 个体都具有性质 F。量词：存在量词 x F(x)：表示个体域中 至少有一个个体具有性质 F。设：个体域为 “ 天津大学学生 ”F(x) 表示 x 是女学生则：所有的学生都是女学生x F(x) 有的学生是女学生x F(x)设：个体域为 全总个体域F(x)： x 聪明G(x)： x 是人则：所有的 人 都聪明。x ( G(x)F(x) )有的 人 聪明。x (G(x)F(x) )设 A， B 为两命题公式，若双条件式 AB 是重言式，则称 A与 B 是 等价的，记作 A B .命题公式之间的关系：例： (p q) p q设 A， B 为两命题公式，若条件式 AB 是重言式，则称 A 蕴涵 B，记作 A B 。例：(pq)p) q (假言推理 )二、基本的等价公式：在下面的等价公式中， A、 B、 C 代表的是任意的命题公式。等价公式双重否定律等幂律交换律1、 p p2、 p p p3、 p p p4、 p q q p5、 p q q pp p p0 1 01 0 1p p用真值表验证： 双重否定律
