等值演算中的部分运算律 （1）交换律：A ∨ B ⇔ B ∨ A; A ∧ B ⇔ B ∧ A。 （2）结合律：(A ∨ B) ∨ C ⇔ A ...

等价 定义 设p，q都是命题，复合命题“p当且仅当q”称作p与q的等价式，记作p↔q ，称符号↔为等价联结词。并规定，p↔q为真当且仅当p，q同真假 等价真值表 p ...

蕴含 定义 设p，q都是命题，复合命题“如果p，那么q”称为p与q的蕴含式，记作p→q， 其中p称为前件，q称为其后件，称符号→为蕴含联结词。 并规定，p→q为假当且仅当p为真且q为假。 蕴含 ...

1.否定 定义1-1 设p是命题，“非p”称为p的否定式，记作¬p，称符号为¬为否定联结词。并规定，¬p为真当且仅当p为假 否定联结词的真值表 p ¬p ...

析取 定义 设p，q都是命题，复合命题“p或者q”称为p与q的析取式，记作 p∨q，称符号∨为合取联结词。 并规定，p∨q为真当且仅当p与q中至少有一个为真。 析取真值表 ...

合取 定义 设p，q都是命题，复合命题“p并且q”称为p与q的合取式，记作 p∧q，称符号∧为合取联结词。 并规定，p∧q为真当且仅当p与q同时为真。 合取真值表 p ...