2.模态推理

　　模态推理是指以模态命题为前提，并根据模态命题的逻辑特点或相互关系进行的推理。

　　常用的模态推理有两种形式：

　　⑴根据对当关系进行的模态推理：已知一模态命题为真或假，推得与其同素材的另一个或几个模态命题的真假。

　　⑵模态命题负命题的等值推理：由一模态命题的负命题推出与其相等值的新命题为结论。 进行模态等值推理，须同时实现“两个转换”：即模态词的转换和命题形式向其矛盾命题的转换。