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

 

词条 一阶逻辑
释义
一阶逻辑
一阶逻辑  亦称“一阶谓词逻辑”、“狭谓词逻辑”。数理逻辑中谓词逻辑的组成部分,即只允许将量词用于个体变项,而不能将量词用于谓词变项和命题变项的谓词逻辑。
出处:数理化力学卷 • 数  学 • 数理逻辑 • 数学基础
随便看

 

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

 

Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2025/2/8 7:29:36