“狭谓词演算”的意思、由来-百科全书

词条	狭谓词演算
释义	狭谓词演算数理化力学卷狭谓词演算　　即“一阶谓词演算”。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	主体移心主体结构工程主体虚化主体运动感知主体长度主体际性主体革命主使主保圣人主债主儿主元音主公主共振主内联合弟兄会主冷却剂系统主减速器主凝结水系统主分量变换主刑主券主副修制主力主力舰主办

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