联言与选言命题

（1）联言命题

用“并且”连接的命题，其逻辑涵义是断定几种事物情况同时为真，标准形式是“p˄q”。

表示联言命题的逻辑连接词：且，并且，和，“，”，也，即...又...，但是

联言命题的真假判断：有一假即为假，都真才为真 （如下表）

​​

（2）相容性选言命题

用“或者”连接的命题，其逻辑含义是断定几种事物情况至少有一种为真，也可以同时为真，其标准形式是“p˅q”。

表示相容性选言命题的逻辑连接词：或，或者，至少有一个

相容性选言命题的真假判断：有一真即为真，都假才为假（如下表）

​​

（3）不相容性选言命题

用“要么”连接的命题，其逻辑涵义是断定几种事物情况只有一种为真，其标准形式是“p∀q”。

表示不相容性选言命题的逻辑连接词：要么，或者...二者必有其一（二者必居其一）

不相容性选言命题的真假判断：只有一真为真，都真或者都假为假（如下表）

​​

（4）联言与选言的推导关系

联言真→分支真→选言真（这里的选言特指相容性选言命题）

例：A˄B→A→A˅B

A˄B→B→A˅B

A˄B→A→A˅非B

A˄B→B→非A˅B