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 $\mathrm{\neg }$ (negatie):

$p\leftrightarrow \mathrm{\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,\dots ,t_k)$

Een literaal is een atomaire formule of de negatie ervan.