命题不相容

不相容选言命题是陈述事物的若干可能情况中有而且只有一种情况存在的命题。例如：
1. 一个三角形，要么是钝角三角形，要么是锐角三角形，要么是直角三角形。
2. 不是老虎吃掉武松，就是武松打死老虎。
不相容选言命题所陈述的事物的若干可能情况是不能并存的。
不相容选言命题的逻辑联结词，通常用“要么，要么”表示。不相容选言命题的命题形式为：
要么p要么q
符号为：p∨q（∨号上要加点·），读作“p不相容析取q”。