Atomilause, jota kutsutaan myös totuuden kantajiksi, on yksinkertainen deklaratiivinen lause, joka voi olla totta tai väärää. Logiikassa käytetyt atomilauseet ovat rakennuspalikoita monimutkaisemmille lausunnoille, joita kutsutaan molekyylilauseiksi. Loogisissa todisteissa atomilauseille annetaan kirjaimia, jotta voidaan helposti laskea monimutkaisemman väitteen totuus tai valhe.
Atomi -lause on logiikan peruslause. Samanlainen kuin yksinkertainen lause kieliopissa, atomilause sisältää aiheen, verbin ja usein kohteen. Esimerkiksi “Jack keitti illallisen”, “Hän on älykäs” ja “Hän toi viinin” ovat kaikki atomilauseita.
Filosofian ja logiikan päätavoite on selvittää lausuntojen ja monimutkaisten ideoiden totuus. Atomilauseet ovat tärkeitä, koska ne voivat olla joko täysin totta tai täysin vääriä. Joko Jack keitti illallisen tai ei. Käyttämällä atomisia lauseita monimutkaisempien lauseiden rakentamiseen – tai päinvastoin hajottamalla monimutkaiset lauseet niiden perusosiin – näiden lausuntojen totuus voidaan määrittää loogisilla todisteilla. Loogiset vedot ovat toiminnaltaan ja suunnittelultaan samanlaisia kuin geometriset vedot.
Kun kaksi tai useampi atomilause yhdistetään yhteen monimutkaisemman lauseen muodostamiseksi, muodostuu molekyylilause. Esimerkiksi yhdistämällä atomilauseet ”Jack keitti illallisen” ja ”Hän toi viinin” muodostaa molekyylilauseen ”Jack keitti illallisen ja hän toi viinin”. Lisäksi molekyylilauseita voidaan muodostaa atomilauseen kieltämisellä. Esimerkiksi vaikka “Hän ei ole älykäs” on edelleen yksinkertainen lause kielioppisääntöjen mukaan ja loogisten sääntöjen mukaan, “ei” lisääminen tekee lausunnosta molekyylilauseen. Molekulaariset lauseet voivat olla täysin totta, osittain totta tai täysin vääriä.
Symbolisessa logiikassa atomilauseille annetaan kirjaimia, jotka alkavat usein “p”: llä ja jatkuvat sitten aakkosjärjestyksessä. Esimerkiksi atomilause “Jack kokkaa illallisen” voidaan esittää p -kirjaimella ja “Hän toi viiniä” kirjaimella “q”. Yhdistäville sanoille, kuten “ja”, “jos”, “mutta” ja “ei”, annetaan symboleja, jotka edustavat niiden toimintaa myös suuremmissa lauseissa.
Kun lauseet jaetaan tällä tavalla, jokainen lause voidaan käsitellä aivan kuten matemaattinen todiste. Yhdistävien sanojen symbolit ovat loogisia operaattoreita ja toimivat samalla tavalla kuin matemaattiset operaattorit, kuten plus ja miinus. Loogisen todistuksen avulla voidaan selvittää koko molekyylilauseen totuus tai valhe, ei vain sisältämät atomilauseet.