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.
Also defined as
Also known as
Some sources use the longer form atomic sentence.
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.
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): Entry: atomic sentence
- 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
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): Entry: atomic sentence