根据不相容选言推理的两条规则,有两个正确的形式：
（1）否定肯定式
要么p,要么q
非p
___________
所以,q
（2）肯定否定式
要么p,要么q
p
___________
所以,非q