Atomare Formel

Eine Formel, die keine logischen Junktoren (wie ∧, ∨, →, ¬) und keine Quantoren enthält; in der Prädikatenlogik ist eine atomare Formel (Atom) typischerweise ein Prädikatsymbol angewandt auf ein Tupel von Termen (einschließlich Gleichheitsatomen) und dient als unteilbares Bauelement komplexer Formeln.