选言命题的推理规则公式是否定式推理有效，即当A或B为真时，若A(B)为假，则B(A)一定为真，那么推理规则的问法一般是由此可以推出或者由此可见，出现这样问法的时候就要用到推理规则来解题了。
选言命题推理规则公式
在命题逻辑中，选言命题的推理规则公式为：
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是不相容选言推理的肯定否定式,这两个推理都是符合推理规则的,所以,都是正确的.