一阶逻辑
【词语拼音】yī jiē luó ji
【词语繁体】一階邏輯
【词语结构】式词语
【词语字数】四字词语
【网络解释】
一阶逻辑(first order logic,FOL)也叫一阶谓词演算，允许量化陈述的公式，是使用于数学、哲学、语言学及计算机科学中的一种形式系统。一阶逻辑是区别于高阶逻辑的数理逻辑，它不允许量化性质。性质是一个物体的特性；所以一个红色物体被表述为有红色的特性。
高阶逻辑二阶逻辑逻辑逻辑图负逻辑合逻辑元逻辑逻辑学正逻辑逻辑狗小逻辑逻辑闸逻辑门住逻辑逻辑值逻辑球逻辑题逻辑与逻辑性逻辑语逻辑怪逻辑树现代逻辑谓词逻辑模态逻辑逻辑检查逻辑常项二值逻辑数理逻辑逻辑判断逻辑顺序逻辑错误经典逻辑逻辑导论逻辑演算科学逻辑逻辑关系电路逻辑逻辑编程逻辑方块逻辑坏道辩证逻辑逻辑运算逻辑分析代数逻辑逻辑主义逻辑函数逻辑文件算法逻辑逻辑拼图法律逻辑智慧逻辑逻辑方案普通逻辑逻辑矛盾数字逻辑时态逻辑哲学逻辑多值逻辑先验逻辑逻辑结构逻辑重音价值逻辑逻辑方法博弈逻辑逻辑控制逻辑比较鸟的逻辑佛教逻辑符号逻辑逻辑聚合汉堡逻辑关系逻辑因果逻辑逻辑电路逻辑表示传统逻辑模糊逻辑思维逻辑幸运逻辑趣味逻辑数学逻辑鸟笼逻辑逻辑人生逻辑图片程序逻辑逻辑主语逻辑元件逻辑冒险逻辑哲学逻辑推理逻辑记录逻辑记忆逻辑设备命题逻辑归纳逻辑