1、 空值

2、 “p且q”属于合取命题，其真值由p与q共同决定。只有当p与q同时为真时，该命题才为真；在其他任何情况下（p假、q假或二者皆假），该命题均为假。

3、 符号“∨”表示逻辑“或”，其语义类似于集合论中的并集运算。命题P∨Q的真假取决于P与Q的取值：仅当P与Q同时为假时，P∨Q为假；其余所有情况（P真q假、P假q真、P真q真）下，P∨Q均为真。

4、 命题的表达形式

5、 若将某命题的条件与结论互换位置，即一命题的条件恰为另一命题的结论，而其结论又恰为另一命题的条件，则称二者互为逆命题；其中任一称为原命题，另一即为其逆命题。

6、 若两个命题中，一个命题的条件和结论分别等于另一个命题对应部分的否定，则称二者互为否命题；其中任一视作原命题，另一即为其否命题。

7、 若一个命题的条件是另一命题结论的否定，且其结论是另一命题条件的否定，则这两个命题互为逆否命题。这种关系具有对称性，即二者互为逆否，且在经典逻辑中恒等价。

8、 上述内容整理自权威释义。