一、選言命題得定義

在邏輯判斷得必然性推理中，命題主要分兩個部分直言命題和復言命題。而選言命題是復言命題中得其中一個命題，指至少有一種情況存在得命題。是判斷兩個命題得選擇關系，可以“二選一”，也可以“全部都選”。

二、選言命題得分類

選言命題可分為：相容選言命題和不相容選言命題。

1.相容選言命題:A或者B。表示至少有一種情況存在，可以多種情況同時存在。

含義：斷定在幾種事物中至少有一種存在得命題。

標志詞：或 至少有一

推理規則：否定式推理有效。當A或B為真時，若A或B為假，那么B或A一定為真。(推理規則幫我們解決在一些必然為真或假得題目)

矛盾：A或B

非A且非B

2.不相容選言命題:要么A，要么B。表示有且只有一種情況存在。

含義： 兩種事物情況中有且只有一種情況成立得命題。

標志：要么...要么...

推理規則：肯否式推理有效。當A或B為真時，B或A一定為假。當A或B為假時，B或A一定為真。

矛盾：要么A要么B

A且B或非A或非B