作业帮 > 综合 > 作业

在对当关系中,已知矛盾关系和下反对关系,求证差等和反对关协成立

来源:学生作业帮 编辑:拍题作业网作业帮 分类:综合作业 时间:2024/06/11 12:18:15
在对当关系中,已知矛盾关系和下反对关系,求证差等和反对关协成立
1、若SAP真,由SAP和SOP的矛盾关系,得SOP假.由SOP和SIP的下反对关系,得SIP真.
若SAP假,由SAP和SOP的矛盾关系,得SOP真.由SOP和SIP的下反对关系,得SIP真假不定.
若SIP假,由SOP和SIP的下反对关系,得SOP真.由SAP和SOP的矛盾关系,得SAP假.
若SIP真,由SOP和SIP的下反对关系,得SOP真假不定.由SAP和SOP的矛盾关系,得SAP真假不定.
即:SAP真,SIP必真;SAP假,SIP真假不定;SIP假时,SAP必假;SIP真时,SAP真假不定.这就证明了SAP和SIP的差等关系成立;同理可得SEP和SOP的差等关系成立.
2、若SAP真,由上面的所证的SAP和SIP的差等关系,得SIP真.由SIP和SEP的矛盾关系,得SEP假.
若SAP假,由SAP和SOP的矛盾关系,得SOP真.由上面所证的SEP和SOP的差等关系,得SEP真假不定.
若SEP真,由SEP和SIP的矛盾关系,得SIP假.由上面所证的SIP与SAP的差等关系,得SAP假.
若SEP假,由SEP和SIP的矛盾关系,得SIP真.由上面所证的SIP与SAP的差等关系,得SAP真假不定.
即:SAP真,SEP比假;SAP假,SEP真假不定.SEP真,SAP必假;SEP假,SAP真假不定.这就证明了SAP和SEP的反对关系成立.