- vähim jutustavat lihtlauset väljendav loogikavalemi osa, millele saab anda tõesuse hinnangu. Lausearvutuse aatomiteks on lausemuutujad ja tõeväärtuskonstandid (tõene ja väär), predikaatarvutuse aatomiteks on termidele rakendatud predikaadid (termidele vastavate objektide omadusi esitavad avaldised).