## Definitions

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

## Etymologies

Sorry, no etymologies found.

## Examples

Sorry, no example sentences found.

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

Sorry, no etymologies found.

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