已知反对关系,矛盾关系成立,求证下反对关系成立.是关于逻辑学的!
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/06 17:09:38
![已知反对关系,矛盾关系成立,求证下反对关系成立.是关于逻辑学的!](/uploads/image/z/9800087-23-7.jpg?t=%E5%B7%B2%E7%9F%A5%E5%8F%8D%E5%AF%B9%E5%85%B3%E7%B3%BB%2C%E7%9F%9B%E7%9B%BE%E5%85%B3%E7%B3%BB%E6%88%90%E7%AB%8B%2C%E6%B1%82%E8%AF%81%E4%B8%8B%E5%8F%8D%E5%AF%B9%E5%85%B3%E7%B3%BB%E6%88%90%E7%AB%8B.%E6%98%AF%E5%85%B3%E4%BA%8E%E9%80%BB%E8%BE%91%E5%AD%A6%E7%9A%84%21)
已知反对关系,矛盾关系成立,求证下反对关系成立.是关于逻辑学的!
已知反对关系,矛盾关系成立,求证下反对关系成立.是关于逻辑学的!
已知反对关系,矛盾关系成立,求证下反对关系成立.是关于逻辑学的!
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的反对关系成立.
、若SAP真,由SAP和SOP的矛盾关系,得SOP假。由SOP和SIP的下反对关系,得SIP真。