atomi mondat

Rövid szöveges bemutatás: 
Az atomi mondatokkal állításokat tudunk megfogalmazni egyszerű egyértelmű módon a logika nyelvén. Ehhez nem kell más mint egy állítás (predikátumszombólum) és az ehhez tartozó paraméterek (termek). Például Testvér(Liza, Adri), annyit jelent, hogy Liza Adri huga. Egy atomi mondat több atomi kifejezésből is állhat. Például Házas(Anyja(István), Apja(András)), tehát István anyja és András apja házasok. Az ilyen kifejezések akkor igazak, ha az adott interpretációban, a reláció valóban fennáll az objektumok között.