Sorry, no definitions found. Check out and contribute to the discussion of this word!
Sorry, no etymologies found.
Help support Wordnik (and make this page ad-free) by adopting the word atomic formula.
Sorry, no example sentences found.
deinonychus commented on the word atomic formula
In mathematical logic, an atomic formula (also known simply as an atom) 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. Atoms are thus the simplest well-formed formulas of the logic. Compound formulas are formed by combining the atomic formulas using the logical connectives. (Wikipedia)
January 13, 2012