English Dictionary

atomic formula

名詞

(logic) A formula which does not have smaller subformulas.

日本語の意味

（論理学）下位に分解できない、より小さな部分論理式を持たない論理式。

In first-order logic, an atomic formula cannot be decomposed into smaller subformulas, so we treat it as a basic unit.

一階述語論理では、原子式はより小さな部分式に分解できないため、基本的な単位として扱われます。

意味（1）

(logic) 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.

atomic formulae （ plural ）

atomic formulas （ plural ）