跳转到内容
主菜单
主菜单
移至侧栏
隐藏
导航
首页
分类索引
特色内容
新闻动态
最近更改
随机条目
资助维基百科
帮助
帮助
维基社群
方针与指引
互助客栈
知识问答
字词转换
IRC即时聊天
联络我们
关于维基百科
搜索
搜索
目录
移至侧栏
隐藏
序言
1
参考
开关目录
模态一阶逻辑
添加语言
添加链接
条目
讨论
大马简体
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
阅读
查看历史
工具
工具
移至侧栏
隐藏
操作
阅读
编辑
查看历史
常规
链入页面
相关更改
上传文件
特殊页面
固定链接
页面信息
引用此页
获取短链接
下载二维码
维基数据项目
打印/导出
下载为PDF
打印版本
外观
移至侧栏
隐藏
维基百科,自由的百科全书
模态一阶逻辑
是指在经典
一阶逻辑
中加进
模态
概念
[
1
]
。实质上这和由
经典命题逻辑
构成
模态命题
的情形相同。模态一阶逻辑也可以在模态命题逻辑中加进
量词
而构成。
参考
^
哲学逻辑的发展趋势及其对我们的启示-光明日报-光明网
.
[
2021-12-17
]
. (原始内容
存档
于2021-12-17).
这是一篇与
逻辑学
相关的
小作品
。您可以通过
编辑或修订
扩充其内容。
查
论
编
分类
:
模态逻辑
隐藏分类:
全部小作品
逻辑学小作品