Atomilause
Wikipedia
Atomilause on logiikassa lause, jonka mikään osa ei voi toimia lauseena. Toisin sanoen, atomilause ei sisällä loogisia konnektiiveja.
[muokkaa] Atomialauseet ja predikaattilogiikka
Predikaattilogiikassa yksilöolioita (eli partikulaareja) kuvaavista yksilövakioista ja yksilömuuttujista sekä ominaisuuksia ja relaatioita (eli universaaleja) kuvaavista predikaateista voidaan muodostaa kahdenlaisia kaavoja: suljettuja ja avoimia. Suljetut kaavat, eli lauseet, eivät sisällä vapaita muuttujia, ja ne ovat joko tosia tai epätosia annetusta tulkinnasta riippuen. Esimerkiksi "Helsinki on Suomen pääkaupunki" ja "7 + 1 = 2" ovat suljettuja lkaavoja, 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ös predikaateiksi.
Avoimesta kaavasta saadaan lause sijoittamalla vapaiden muuttujien paikoille yksilövakioita tai sitomalla ne kvanttoreilla, esimerkiksi seuraavasti:
| Avoin lause | Suljettu lause |
|---|---|
 |
 |
|
 |
 |
 |
Yllä 
ja 
ovat predikaatteja, 
ja 
yksilömuuttujia ja 
yksilövakio.
