一阶逻辑（FOL）是指句子或陈述的谓词只能指单个主语Subject的逻辑。它也称为一阶谓词演算或一阶泛函演算。一阶逻辑仅量化个体范围内的变量；二阶逻辑，也量化集合；三阶逻辑还对集合的集合进行量化。FOL 是一种形式逻辑系统，它提供了一种将自然语言形式化为可计算/数学格式的方法。通过FOL，用英语句子表达的问题可以以形式化的方式表示，这使得阐述想法、得出结论和证明定理成为可能。