## Definitions

Sorry, no definitions found. Check out and contribute to the discussion of this word!

## Etymologies

Sorry, no etymologies found.

## Support

Help support Wordnik (and make this page ad-free) by adopting the word atomic formula.

## Examples

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