Atoom (logica)

Een atoom of atomaire formule in de logica is een logische formule waarin geen logische operatoren voorkomen. Vaak worden atomen in de propositielogica aangeduid met $p,\ q$ en $r$ of met $A,\ B$ en $C$. Een voorbeeld van een atoom in de propositielogica is:

$p$

De volgende formule uit de propositielogica is geen atoom, want hij is opgebouwd uit atomen $p$ en $q$ en de logische operatoren $\leftrightarrow$ (desda) en $\neg$ (negatie):

$p\leftrightarrow \neg q$

In de predicatenlogica zien atomen er iets complexer uit. Hier bestaat een atomaire formule uit een predicaatletter, meestal geschreven met een hoofdletter, en $k$ bijbehorende termen. Een voorbeeld hiervan is:

$P(t_{1},\ldots ,t_{k})$

Een literaal is een atomaire formule of de negatie ervan.