第五章 模态命题及其推理

第五章 模态命题及其推理“模态”一词是英文“modal”的音译，原意为“样式的”，“情态的”。模态逻辑是研究包含模态词“必然”、“可能”的模态命题及其推理的科学。模态逻辑历史很悠久，早在两千多年前，亚