复合命题的逻辑形式由支命题和逻辑联结词构成,主要分为以下四种类型:
-
联言命题(合取命题)
表示多个支命题同时成立,逻辑形式为 $P \land Q$(如“今天天气很好且我心情不错”)。其真值表为: $$ \begin{array}{cc|c} P & Q & P \land Q \ \hline T & T & T \ T & F & F \ F & T & F \ F & F & F \ \end{array} $$
要求所有支命题均为真时,复合命题才为真。
-
选言命题(析取命题)
表示至少有一个支命题成立,逻辑形式为 $P \lor Q$(如“你去或我去”)。其真值表为: $$ \begin{array}{cc|c} P & Q & P \lor Q \ \hline T & T & T \ T & F & T \ F & T & T \ F & F & F \ \end{array} $$
只要有一个支命题为真,复合命题即为真。
-
假言命题(条件命题)
表示条件关系,逻辑形式为 $P \rightarrow Q$(如“如果王××是法官,那么他就熟悉法律”)。其真值表为: $$ \begin{array}{cc|c} P & Q & P \rightarrow Q \ \hline T & T & T \ T & F & F \ F & T & T \ F & F & T \ \end{array} $$
前件为假时,无论后件真假,复合命题均为真。
-
负命题(否定命题)
通过否定词(如“并非”)构成,逻辑形式为 $\neg P$(如“并非今天天气很好”)。其真值表为: $$ \begin{array}{c|c} P & \neg P \ \hline T & F \ F & T \ \end{array} $$
与原命题真假相反。
总结 :复合命题通过逻辑联结词将支命题组合,不同联结词对应不同逻辑形式(如“且”“或”“如果……那么……”),其真值表由支命题的真值共同决定。