Definition:Atom (Logic)

This page is about atom in the context of logic. For other uses, see atom.

This article is complete as far as it goes, but it could do with expansion. In particular: Include the definition in Predicate Logic. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Expand}} from the code. If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.

Definition

In a particular branch of logic, certain concepts are at such a basic level of simplicity they can not be broken down into anything simpler.

Those concepts are called atoms or described as atomic.

Different branches of logic admit different atoms.

Propositional Logic

In propositional logic, the atoms are simple statements.

Also see

• Results about atoms in the context of logic can be found here.

Linguistic Note

The word atom comes from the Greek ἄτομον, meaning unbreakable or indecomposable.

It is pronounced with a short a, as at-tom, as opposed to ay-tom.

Sources

• 2000: Michael R.A. Huth and Mark D. Ryan: Logic in Computer Science: Modelling and reasoning about systems ... (previous) ... (next): $\S 1.1$: Declarative sentences