first-order logic

短语

[计] 一阶逻辑

词形变化

first-order logics 复数 first-order logics

别名

FOL FO

释义与例句

n.
  1. 1.

    A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.

    可数 不可数 数学 哲学