请输入您要查询的百科知识:
词条
高阶逻辑
释义
高阶逻辑
数理化力学卷
高阶逻辑
亦称“高阶谓词逻辑”、“广义谓词逻辑”。数理逻辑中谓词逻辑的组成部分,即不仅将量词用于个体变项,也将量词用于谓词变项和命题变项的谓词逻辑。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
柏林艺术大学
柏林马拉松赛
柏柏尔人
柏格森
柏格理苗文
柏梁体
柏梁台
柏氏矢量
柏海
柏琴
柏琴反应
柏皇氏
柏科
柏署
柏翳
柏耆
柏肆之战
柏舟
柏谷
柏谷坞
柏谷城
柏谷山
柏贵
柏辽兹
柏里安得
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。
Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2025/6/14 19:57:55