矛盾关系不能同真，也不能同假；反对关系不能同真，可以同假；下反对关系不能同假，可以同真；差等关系可以同真不必然同真，可以同假不必然同假。
1.矛盾关系
SAP├ ¬SOP
¬SAP├ SOP
SEP├ ¬SIP
¬SEP├ SIP
SOP├ ¬SAP
¬SOP├SAP
SIP├ ¬SEP
¬SIP├SEP
2.反对关系
SAP├ ¬SEP
SEP├ ¬SAP
3.下反对关系
¬SIP├SOP
¬SOP├SIP
4.差等关系
SAP├SIP
SEP├SOP
¬SIP├ ¬SAP
¬SOP├ ¬SEP
5.换质法
SAP⇔SE非P
SEP⇔SA非P
SIP⇔SO非P
SOP⇔SI非P
6.换位法
SAP├ PIS
SEP├ PES
SIP├ PIS
7.换质位法
SAP├SE非P├非PES├非PA非S
SEP├SA非P├非PIS├非PO非S
SOP├SI非P├非PIS├非PO非S
8.戾换法
SAP├SE非P├非PES├非PA非S├非SI非P
SEP├PES├PA非S├非SIP├非SO非P
9.假言推理
(p→q)↔(q←p)
(p←q)↔(¬p→¬q)
(p→q)↔(¬q→¬p)
(p↔q)↔(q↔p)
Advertisement
