模态推理morai tuili
以模态判断为前提或结论的推理，它是根据模态判断的性质进行推演的。常用的模态推理较简单的主要有下列几种：根据模态逻辑方阵进行推演的模态推理，根据“实然”、“必然”、“可能”的关系进行推演的模态推理以及模态三段论。
根据模态逻辑方阵进行推演的模态推理主要的有：
❶□p→◇p。如“迟到早退必然违反学校纪律；所以，迟到早退可能违反学校纪律”。
❷□⇁p→◇⇁p。如“月球上必然没有生命；所以，月球上可能没有生命”。
❸□p←→⇁◇⇁p。例“不按客观规律办事必然要失败；所以，不按客观规律办事不可能不失败”。
❹□⇁p←→⇁□p。如“客观规律必然不依人的意志为转移；所以，客观规律不叮能依人的意志为转移”。
❺◇p←→⇁□⇁p。如“这次试验可能成功；所以，这次试验不一定不成功”。
❻◇⇁p←→⇁□p。如“火星上可能没有生命；所以，火星上不一定有生命”。
❼□p→⇁□⇁p。如“他一定能完成任务；所以，他不一定完不成任务”。
❽□⇁p→⇁□p。如“这些处理品的质量一定不好；所以，这些处理品的质量不一定好”。上述推理
❸
❹
❺
❻公式左右均可以互推，其他的则不能左右互推。在模态方阵中凡是判断间真假关系不定的，均不能进行推演。
根据“实然”、“必然”、“可能”的关系进行推演的模态推理有：
❶□p→p。如：“帝国主义是必然要灭亡的；所以，帝国主义是要灭亡的”。
❷p→◇p。如“他的试验成功了；所以，他的试验可能成功了”。
❸□⇁p→⇁p。如“价值规律必然不依人的意志为转移；所以，价值规律是不依人的意志为转移的”。
❹⇁p→◇⇁p。如“他在成绩面前不骄傲；所以，他在成绩面前可能不骄傲”。由于在“必然”、“实然”、“可能”的关系中，“必然”较“实然”断定多，“实然”较“可能”断定多，因此，可以从“必然”推断“实然”，从“实然”推断“可能”，反之则不能推导。例如由“罪犯可能是王某”不能推出“罪犯是王某”，更不能推出“罪犯一定是王某”。
模态三段论是以模态判断为前提和结论的三段论，它是在直言三段论系统中引入模态词所构成的三段论。在传统逻辑中，模态三段论很复杂，这里只介绍其中4种：
❶必然模态三段论。以第一格的AAA式为例，其推理形式为：所有M必然是P，所有S必然是M，所以，所有S必然P。
❷必然与可能两种模态结合的三段论。以大前提为必然判断，小前提为可能判断的第一格AAA式为例，其推理形式为：所有M必然是P，所有S可能是M，所以，所有S可能是P。
❸必然和实然结合的模态三段论。其形式之一如：所有M必然是P，所有S是M，所以，所有S必然是P。
❹可能和实然结合的模态三段论。其形式之一如：所有M可能是P，所有S是M，所以，所有S可能是P。