一、选言命题的定义
在逻辑判断的必然性推理中，命题主要分两个部分直言命题和复言命题。而选言命题是复言命题中的其中一个命题，指至少有一种情况存在的命题。是判断两个命题的选择关系，可以二选一，也可以全部都选。
二、选言命题的分类
选言命题可分为：相容选言命题和不相容选言命题。
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
