天国凤凰泰剧中文剧情介绍:

（1）他或者懂英语，或者懂法语，
他不懂英语，
所以，他懂法语。
（2）他或者懂英语，或者懂法语，
他不懂法语，
所以，他懂英语。
推理（1）中，小前提否定了选言肢“懂英语”，结论中则肯定了另一个选言肢“懂法语”；推理（2）中，小前提否定了选言肢“懂法语”，结论则肯定了另一个选言肢“懂英语”。
我们前面见过，相容选言判断可以表示为“p或者q，即p∨q”。那么，相容选言推理的否定肯定形式可以表示为：
p或者q，
非p（非q），
所以，q（p）。
即
p∨q，
?p（?q），
q（p）.
也可以表示为：（p∨q）∧?p→q；（p∨q）∧?q→p。
肯定否定式：以相容选言判断为大前提，以小前提肯定部分选言肢，结论则否定另一部分选言肢。比如：
（1）他或者懂英语，或者懂法语，