第36章

（三）根据真值模态判断下反对关系的直接推理

根据真值模态判断可能Ｐ与可能非Ｐ之间的下反对关系进行推演的直接推理，称下反对关系真值模态推理。

下反对关系判断是：一假另一必真，一真另一不定。可以由假推真，不可以由真推假。因而，共有两种有效逻辑形式。

（四）根据真值模态判断差等关系的直接推理

根据真值模态判断必然Ｐ与可能Ｐ，必然非Ｐ与可能非Ｐ之间的差等关系进行推演的直接推理，称差等关系真值模态推理。

差等关系判断是：上真下必真，下假上必假，反之则不定。可以由上真推下真，也可以由下假推上假。但不可以由下真推上真或由上假推下假。因而，共有四种有效逻辑形式。

返回

一、规范模态判断

（一）什么是规范模态判断

规范模态判断是由”必须“、”允许“、”禁止“等规范模态词联结而构成的判断。它是规定人们行为情况的执行方式的判

后续内容为VIP可读请开通VIP，或购买此章节