模态逻辑—模态命题和推理.pptVIP

模态逻辑 ——模态命题和推理 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 一、真值模态命题 二、规范模态命题 三、模态命题推理 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 一、真值模态命题的含义 真值模态命题是断定事物情况具有必然性或可能性的命题。例如， 违反客观规律必然要受到客观规律的惩罚。 那个辩护人的意见可能是对的。 都是真值模态命题。 模态词： 1.“必然” 可用符号“□” 表示 2.“可能” 可用符号“ ? ”表示。 自然语言表示必然的还有“一定”、“必定”、“必将”、“总是”等。表示可能的还有“也许”、“大概”等。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 二、真值模态命题的分类 必然肯