模态逻辑怎么读
点击播放按钮播放发音:
翻译解释
- 模态逻辑什么意思：[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公理。
- 模态逻辑的英语：logic of modality
- 模态逻辑的法语：logique madale
- 模态逻辑的日语：様相論理学
- 模态逻辑的俄语：Модальная логика
模态逻辑的发音，模态逻辑的读音发音，例句，用法，同义词，反义词由阿汉词典提供，版权所有违者必究。