atomic formula
名词 n.
英文释义
名词 n.
-
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.
词汇关系
反义词
0 次浏览
数据来源: Wiktionary