在对当关系中，已知差等关系和反对关系成立，矛盾关系和下反对关系是否成立？请写出推导过程。

在对当关系中，已知差等关系和反对关系成立，矛盾关系和下反对关系是否成立？请写出推导过程。

(1)若SAP为真.则根据差等关系，SIP真，根据反对关系，SEP假。(2)SEP假，根据差等关系，SOP真假不定。(3) 由（1)可推出SIP与SEP之间的矛盾关系成 立；由（2)可推出SOP与SAP之间的矛盾关 系不能必然成立，SOP与SIP之间的下反对关系也不能必然成立。(4)由（3)可推知矛盾关系和下反对关系不成立。