p 或 q（否定/肯定式）“或”为真，就是先否定。
p 或 q=如果非 p 则 q=如果非 q 则 p。
（1）p 或 q =非 p 推出 q（非 P→q）=转换为如果非 P 则 q，非 q 推出 p（非 q→p）
（2）非 p 或非 q=p 推出非 q（p→非 q）=q 推出非 p（q→非 p）
例如：不成功或不节俭，非 p 推出 q，等于成功且不节俭。
（3）或 p 或 q 或 r，要推出 r，需要增加非 p 和非 q 两个条件。=如果非 p 则 q 或 r=如果非 p 且非 q，则 r。
在命题逻辑中，选言命题的推理规则公式为：
p ∨ q
¬ p
∴ q
其中，符号"∨"表示逻辑运算符“或”，符号"¬"表示逻辑运算符“非”，符号"∴"表示推出符号，p和q是两个命题，其含义分别为：
p：如果A，则B；
q：如果A，则C。
该公式的含义是：如果已知命题p或q成立，且已知命题p不成立，则可以推出命题q成立。
不相容选言推理 不相容选言推理就是以不相容选言命题为前提,根据不相容选言命题的逻辑性质进行的推理. 不相容选言推理有两条规则：
规则1：否定一部分选言支,就要肯定另一部分选言支. 规则2：肯定一部分选言支,就要否定另一部分选言支. 根据规则,不相容选言推理有两个正确的形式：
（1）否定肯定式 要么p,要么q 非p ___________ 所以,q （2）肯定否定式 要么p,要么q p ___________ 所以,非q 例如：
1. 要么小李得冠军,要么小王得冠军；小李没有得冠军,所以,小王得冠军. 2. 要么去桂林旅游,要么去海南旅游；去桂林旅游,所以,不去海南旅游. 例1是不相容选言推理的否定肯定式；
例2是不相容选言推理的肯定否定式,这两个推理都是符合推理规则的,所以,都是正确的.
