1、若SAP真,由SAP和SOP的矛盾關(guān)系,得SOP假.由SOP和SIP的下反對(duì)關(guān)系,得SIP真.
若SAP假,由SAP和SOP的矛盾關(guān)系,得SOP真.由SOP和SIP的下反對(duì)關(guān)系,得SIP真假不定.
若SIP假,由SOP和SIP的下反對(duì)關(guān)系,得SOP真.由SAP和SOP的矛盾關(guān)系,得SAP假.
若SIP真,由SOP和SIP的下反對(duì)關(guān)系,得SOP真假不定.由SAP和SOP的矛盾關(guān)系,得SAP真假不定.
即：SAP真,SIP必真；SAP假,SIP真假不定；SIP假時(shí),SAP必假；SIP真時(shí),SAP真假不定.這就證明了SAP和SIP的差等關(guān)系成立；同理可得SEP和SOP的差等關(guān)系成立.
2、若SAP真,由上面的所證的SAP和SIP的差等關(guān)系,得SIP真.由SIP和SEP的矛盾關(guān)系,得SEP假.
若SAP假,由SAP和SOP的矛盾關(guān)系,得SOP真.由上面所證的SEP和SOP的差等關(guān)系,得SEP真假不定.
若SEP真,由SEP和SIP的矛盾關(guān)系,得SIP假.由上面所證的SIP與SAP的差等關(guān)系,得SAP假.
若SEP假,由SEP和SIP的矛盾關(guān)系,得SIP真.由上面所證的SIP與SAP的差等關(guān)系,得SAP真假不定.
即：SAP真,SEP比假；SAP假,SEP真假不定.SEP真,SAP必假；SEP假,SAP真假不定.這就證明了SAP和SEP的反對(duì)關(guān)系成立.