predicate logic

短语

[计] 谓词逻辑

词形变化

predicate logics 复数 predicate logics

释义与例句

n.
  1. 1.

    The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic.

    数学 哲学
  2. 2.

    First-order logic.

    数学 哲学