请输入您要查询的百科知识:

 

词条 模态一阶逻辑
释义

模态一阶逻辑是指在经典一阶逻辑中加进模态概念。实质上这和由经典命题逻辑构成模态命题的情形相同。模态一阶逻辑也可以在模态命题逻辑中加进量词而构成。

随便看

 

百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。

 

Copyright © 2004-2023 Cnenc.net All Rights Reserved
更新时间:2025/3/27 2:08:37