Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03203535n
Noun Concept
Categories: Predicate logic, Logical expressions
EN
atomic formula  atom  atomic statement
EN
In mathematical logic, an atomic formula is a formula with no deeper propositional structure, that is, a formula that contains no logical connectives or equivalently a formula that has no strict subformulas. Wikipedia
Definitions
Examples
Relations
Sources
EN
In mathematical logic, an atomic formula is a formula with no deeper propositional structure, that is, a formula that contains no logical connectives or equivalently a formula that has no strict subformulas. Wikipedia
A single predicate in first-order logic Wikipedia Disambiguation
Mathematical logic concept Wikidata
A formula which does not have smaller subformulas. Wiktionary
EN
In predicate logic, an atomic formula consists of a predicate together with its arguments, its arguments being terms. Wiktionary
IS A
well-formed formula
HAS KIND
atomic sentence
DIFFERENT FROM
atomic sentence
Wikipedia
EN
atomic formula
Wikidata
EN
atomic formula
Wiktionary
EN
atomic formula
Wikipedia Redirections
EN
atom (logic)
Wikidata Alias
EN
atom, atomic statement

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License