模态演绎推理

以模态命题为前提并根据模态命题的逻辑性质进行推演的演绎推理。模态演绎推理分为直接模态推理和间接模态推理。直接模态推理有:根据模态命题的逻辑方阵进行推演的模态推理和根据“实然”“必然”“可能”的关系进行推演 ......    （本文共 378 字 ）     [阅读本文] >>