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

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

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