“要么……要么……”是不相容选言命题,即断定选言支中有且只有一个选言支为真的选言命题。
选言命题又称为析取命题,是反映事物的若干种情况或性质至少有一种存在的命题。根据选言支之间是否具有并存关系,选言命题可分为相容选言命题和不相容选言命题。
选言命题由逻辑联结词“或者”连接支命题而成。其支命题称为选言支,通常用p、q表示。选言命题的逻辑形式可以写成:p或者q,符号为:p∨q(“p或者q”)。∨称为析取词。
选言命题的运算服从以下运算规律:
1、交换律:p∨q<=>q∨p。
2、结合律:(p∨q)∨r<=>p∨(q∨r)。
3、幂等律:p∨p<=>p。