【一阶逻辑】的繁体字： 一階邏輯
【一阶逻辑】的读音为 yī jiē luó ji，无声调拼音为 yi jie luo ji，简拼为 YJLJ
【一阶逻辑】的笔画分别为1画、6画、11画、13画，部首分别为一部、阝部、辶部、车部。
【分字繁体字】一的繁体字 阶的繁体字 逻的繁体字 辑的繁体字
一阶逻辑(first order logic,FOL)也叫一阶谓词演算，允许量化陈述的公式，是使用于数学、哲学、语言学及计算机科学中的一种形式系统。一阶逻辑是区别于高阶逻辑的数理逻辑，它不允许量化性质。性质是一个物体的特性；所以一个红色物体被表述为有红色的特性。
