atomic formula

短语

[计] 原子公式

词形变化

atomic formulae 复数 atomic formulae atomic formulas atomic formulas 复数

释义与例句

n.
  1. 1.

    A formula which does not have smaller subformulas.

    数学 哲学

    In predicate logic, an atomic formula consists of a predicate together with its arguments, its arguments being terms.