当前位置:
王朝网络
>>
王朝百科
>> 模态一阶逻辑
王朝百科
模态一阶逻辑
王朝百科·作者佚名 2010-02-12
宽屏版
字体:
小
|
中
|
大
|
超大
模态一阶逻辑是指在经典一阶逻辑中加进模态概念。实质上这和由经典命题逻辑构成模态命题的情形相同。模态一阶逻辑也可以在模态命题逻辑中加进量词而构成。
点击展开全文
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
热搜词条
·
七星伏魔剑
·
巨阙剑
·
沥泉神枪
·
郁金香事件
·
igrsfile.exe
·
FileShare.exe
·
郁南西江中学
·
Braess悖论
·
唐·吉诃德悖论
·
迅盘
©
2005-
王朝百科
版权所有