逻辑关系方正图
反对关系：不同真可同假
下反对关系：可同真不同假
差等关系：上真下真，下假上假，其余不定
矛盾关系：一真一假
相容选言推理有两条规则：
规则1：否定一部分选言支，就要肯定另一部分选言支。

规则2：肯定一部分选言支，不能否定另一部分选言支。

根据规则，相容选言推理只有一个正确的形式，即否定肯定式：p或者q
非p
___________
所以，q
或者
p或者q
非q
___________
所以，p
例如：
不相容选言推理有两条规则：
规则1：否定一部分选言支，就要肯定另一部分选言支。

规则2：肯定一部分选言支，就要否定另一部分选言支。

根据规则，不相容选言推理有两个正确的形式：
（1）否定肯定式
要么p，要么q
非p
___________
所以，q
（2）肯定否定式
要么p，要么q
p
___________
所以，非q
充分条件假言推理有两条规则：
规则1：肯定前件，就要肯定后件；否定前件，不能否定后件。

规则2：否定后件，就要否定前件；肯定后件，不能肯定前件。

根据规则，充分条件假言推理有两个正确的形式：
（1）肯定前件式
如果p，那么q
p
___________
所以，q
（2）否定后件式
如果p，那么q
非q
___________
所以，非p
例如：
必要条件假言推理有两条规则：
规则1：否定前件，就要否定后件；肯定前件，不能肯定后件。

规则2：肯定后件，就要肯定前件；否定后件，不能否定前件。

根据规则，必要条件假言推理有两个正确的形式：
（1）否定前件式
只有p，才q
非p
___________
所以，非q
（2）肯定后件式
只有p，才q
q
___________
所以，p
充分必要条件假言推理有两条规则：
规则1：肯定前件，就要肯定后件；肯定后件，就要肯定前件。

规则2：否定前件，就要否定后件；否定后件，就要否定前件。

根据规则，充分必要条件假言推理有四个正确的形式：
（1）肯定前件式
p当且仅当q
p
___________
所以，q
（2）肯定后件式
p当且仅当q
q
___________
所以，p
（3）否定前件式
p当且仅当q
非p
___________
所以，非q
（4）否定后件式
p当且仅当q
非q
___________
所以，非p。