Definition:Atom (Logic)

From ProofWiki
Jump to: navigation, search

This page is about atoms in logic. For other uses, see Definition:Atom.

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 statements.


Also defined as

Some sources define atom to mean what is defined in $\mathsf{Pr} \infty \mathsf{fWiki}$ as a literal: a statement variable or the negation of a statement variable.


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