请输入您要查询的百科知识:
词条
高阶逻辑
释义
高阶逻辑
数理化力学卷
高阶逻辑
亦称“高阶谓词逻辑”、“广义谓词逻辑”。数理逻辑中谓词逻辑的组成部分,即不仅将量词用于个体变项,也将量词用于谓词变项和命题变项的谓词逻辑。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
瓯宰
瓯江
瓯海
瓯穴
瓯窑
瓯窭
瓯脱
瓯臾
瓯语
瓯越
瓯香馆画跋
瓳
瓴
瓴甋
瓶
瓶中肚脐
瓶子草
瓶尔小草
瓶庐诗稿
瓶水斋诗集
瓶沙王
瓶窑
瓶笙
瓶笙馆修箫谱
瓶筲
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。
Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2025/6/10 3:40:28