section_heading: Propozicije
paragraph_text: Atomska formula ili atom' je jednostavno predikat primijenjen na n-torke termova, to jest, atomska formula je formula izgleda P (t<sub>1</sub>, ..., t<sub>n</sub>), za predikat P i t<sub>k</sub> termova.