| 词语 | 模态逻辑 |
| 释义 | [modal logic] 包含诸如必然性、可能性、不可能性、偶然性、严格蕴涵以及某些其他紧密相关的概念等模态的系统。建构模态逻辑最直截了当的方法就是，在某些标准非模态逻辑系统中增加一个新的原始算符，以表示模态，以此来定义其他的模态算符，并增加那些模态算符的公理与（或）转换规则。举例来说，某人可以在古典命题演算中增加L这个符号，意为“那是必然的”；以此方式，Lp就读作“p是必然的”。可能性算符M（“那是有可能的”）可以用L定义为Mp＝﹁L﹁p（其中﹁表示“非”）。除了古典命题逻辑的公理与推论规则之外，这种系统可能有自己的二组公理与一组推论规则。模态逻辑中某些独特的公理为（A1）Lp鑨p与（A2）L（p鑨q）鑨（Lp鑨Lq）。这个系统中的新推论规则是“必然性规则”：若p为系统的定理，则Lp也是。通过另外增加公理可以获得更强的模态逻辑系统。有人增加了Lp鑨LLp的公理，其他的人则增加了Mp鑨LMp公理。 |
| 随便看 |
汉语词典收录了463404条汉语词条，基本涵盖了全部常用汉语词语的中英文释义及用法，是汉语学习的有利工具。