Atomilause onlogiikassalause, jonka mikään osa ei voi toimia lauseena. Toisin sanoen, atomilause ei sisällä loogisiakonnektiiveja.

Predikaattilogiikassa yksilöolioita (elipartikulaareja) kuvaavista yksilövakioista ja yksilömuuttujista sekäominaisuuksia jarelaatioita (eliuniversaaleja) kuvaavistapredikaateista voidaan muodostaa kahdenlaisia kaavoja: suljettuja ja avoimia.Suljetut kaavat, eli lauseet, eivät sisällä vapaitamuuttujia, ja ne ovat jokotosia tai epätosia annetusta tulkinnasta riippuen. Esimerkiksi "Helsinki on Suomen pääkaupunki" ja "7 + 1 = 2" ovat suljettuja kaavoja, ensimmäinen tosi ja jälkimmäinen epätosi.

Avoimet kaavat, eli lyhyemmin kaavat, sisältävät yhden tai useamman vapaan muuttujan, ja niiden totuus riippuu vapaiden muuttujien arvosta (tai arvoista). Esimerkiksi "x on Suomen pääkaupunki" ja "7 + y = 2" ovat avoimia lauseita. Avoimia lauseita voidaan kutsua myöspredikaateiksi.

Avoimesta kaavasta saadaan lause sijoittamalla vapaiden muuttujien paikoille yksilövakioita tai sitomalla nekvanttoreilla, esimerkiksi seuraavasti:

Avoin lause	Suljettu lause
${\displaystyle Px}$	${\displaystyle Pc}$
${\displaystyle Px}$	${\displaystyle \mathrm{\exists }xPx}$
${\displaystyle Rxy}$	${\displaystyle \mathrm{\forall }x\mathrm{\exists }yRxy}$

Yllä${\displaystyle P}$ja${\displaystyle R}$ovat predikaatteja,${\displaystyle x}$ja${\displaystyle y}$yksilömuuttujiaja${\displaystyle c}$yksilövakio.

• Logiikka