请输入您要查询的百科知识:
词条
一阶逻辑
释义
一阶逻辑
数理化力学卷
一阶逻辑
亦称“一阶谓词逻辑”、“狭谓词逻辑”。数理逻辑中谓词逻辑的组成部分,即只允许将量词用于个体变项,而不能将量词用于谓词变项和命题变项的谓词逻辑。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
曼德拉市
曼德海峡
曼-惠特尼U检验
曼戈基河
曼戈尔特
曼提尼亚战役
曼斯坦因
曼斯菲尔德
曼日寺
曼曼
曼札
曼桐
曼森
曼椆
曼法鲁蒂
曼泰尼亚
曼泽
曼海姆
曼海姆彩色玻璃窗
曼涅托
曼涅里克二世
曼漶
曼生紫砂竹节壶
曼祖
曼纳
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。
Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2025/3/13 19:07:31