一、選言命題得定義
在邏輯判斷得必然性推理中，命題主要分兩個部分直言命題和復言命題。而選言命題是復言命題中得其中一個命題，指至少有一種情況存在得命題。是判斷兩個命題得選擇關系，可以“二選一”，也可以“全部都選”。
二、選言命題得分類
選言命題可分為：相容選言命題和不相容選言命題。
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
