模态一阶逻辑 Wikipedia · 2022-01-03 维基百科 👁 0 阅读 模态一阶逻辑是指在经典一阶逻辑中加进模态概念。实质上这和由经典命题逻辑构成模态命题的情形相同。模态一阶逻辑也可以在模态命题逻辑中加进量词而构成。参考 #模态逻辑 ← 上一篇 阿拉烏丁二世 下一篇 → 寶貝樂一通
评论 (0)