（三）根据真值模态判断下反对关系的直接推理
根据真值模态判断可能Ｐ与可能非Ｐ之间的下反对关系进行推演的直接推理，称下反对关系真值模态推理。
下反对关系判断是：一假另一必真，一真另一不定。可以由假推真，不可以由真推假。因而，共有两种有效逻辑形式。
（四）根据真值模态判断差等关系的直接推理
根据真值模态判断必然Ｐ与可能Ｐ，必然非Ｐ与可能非Ｐ之间的差等关系进行推演的直接推理，称差等关系真值模态推理。
差等关系判断是：上真下必真，下假上必假，反之则不定。可以由上真推下真，也可以由下假推上假。但不可以由下真推上真或由上假推下假。因而，共有四种有效逻辑形式。
返回
一、规范模态判断
（一）什么是规范模态判断
规范模态判断是由”必须“、”允许“、”禁止“等规范模态词联结而构成的判断。它是规定人们行为情况的执行方式的判断。
规范模态判断是由规范模态词和基础判断两部分组成的。其中，规范模态词是规范模态判断中表示人们行为情况的执行方式的概念；基础判断是规范模态判断中除规范模态词以外的判断。
规范模态判断也可分为简单规范模态判断和复合规范模态判断。教材中只介绍简单规范模态判断。
（二）简单规范模态判断的种类
简单规范模态判断依据判断中所包含的规范模态词的不同，分为必须判断、允许判断、禁止判断。
它们都分为肯定和否定两类，相互间同样具有类似于上面讲的对等关系。也可以依据对等关系进行推理。
一定要通过记住六种规范模态判断在逻辑方阵图中的位置来记住它们之间的正误关系，以便进一步把握简单规范模态判断对等关系推理。
我们不具体讲了。请大家自己看看。但千万不要以为不讲的内容就不会考试。以免自误。
返回
例题解析
例题（１）。根据规范模态判断之间的对当关系，由”允许非Ｐ“可以推出（）
Ａ。禁止ＰＢ。允许ＰＣ。必须非ＰＤ。不必须Ｐ
解析：根据规范模态判断之间的对当关系，”允许非Ｐ“真时，”禁止Ｐ“、”允许Ｐ“、”必须非Ｐ“三个判断真假不定，而”必须Ｐ“假，即”不必须Ｐ“
答案：选择Ｄ
例题（２）。下列各组判断形式的值可能同为”错误“的有（）
Ａ。”必须Ｐ“和”必须非Ｐ“Ｂ。”允许Ｐ“和”允许非Ｐ“
Ｃ。”禁止Ｐ“和”禁止非Ｐ“Ｄ。”必须Ｐ“和”允许Ｐ“
解析：根据规范模态判断之间的对当关系，”必须Ｐ“和”必须非Ｐ“具有反对关系，可以同为”错误“；”允许Ｐ“和”允许非Ｐ“
具有下反对关系，不能同为”错误“；”禁止Ｐ“和”禁止非Ｐ“具有反对关系，可以同为”错误“；”必须Ｐ“和”允许Ｐ“具有差等关系，可以同为”错误“。
答案：选择Ａ、Ｃ、Ｄ。