Definition:Atom (Logic)/Propositional Logic
Jump to navigation
Jump to search
Definition
In propositional logic, the atoms are statements.
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
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): 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): atomic sentence