Također se naziva i nositeljima istine, atomska rečenica je jednostavna deklarativne rečenice koja može biti istinita ili netočna. U logici, atomske rečenice su građevni blokovi za složenije izjave, koje se nazivaju molekularne rečenice. U logičkim dokazima, atomskim se rečenicama dodijeljuju slova kako bi se lako izračunala istinitost ili netočnost složenije tvrdnje.
Atomična rečenica je najosnovnija vrsta rečenice u logici. Slično jednostavnoj rečenici u gramatici, atomska rečenica sadrži subjekt, glagol i često objekt. Na primjer, “Jack je skuhao večeru”, “On je inteligentan” i “Donijela je vino”, sve su atomske rečenice.
Glavni cilj u filozofiji i logici je utvrditi istinitost izjava i složenih ideja. Atomske rečenice su važne jer mogu biti ili potpuno istinite ili potpuno netočne. Ili je Jack skuhao večeru ili nije. Korištenjem atomskih rečenica za građenje složenijih rečenica — ili, obrnuto, za rastavljanje složenih rečenica na njihove osnovne dijelove — istinitost ovih izjava može se utvrditi putem logičkih dokaza. Logički dokazi slični su geometrijskim dokazima po funkciji i dizajnu.
Kada se dvije ili više atomskih rečenica nanižu zajedno u složeniju rečenicu, nastaje molekularna rečenica. Na primjer, kombiniranjem atomskih rečenica “Jack je skuhao večeru” i “Donijela je vino” tvori se molekularna rečenica “Jack je skuhao večeru, a ona je donijela vino”. Dodatno, molekularne rečenice mogu se formirati negacijom atomske rečenice. Na primjer, iako je “On nije inteligentan” još uvijek jednostavna rečenica prema gramatičkim pravilima, prema logičkim pravilima, dodavanje “ne” čini izjavu molekularnom rečenicom. Molekularne rečenice mogu biti potpuno istinite, djelomično istinite ili potpuno netočne.
U simboličkoj logici, atomskim rečenicama dodijeljena su slova, koja često počinju s “p”, a zatim se nastavljaju po abecedi. Na primjer, atomska rečenica, “Jack kuha večeru”, može biti predstavljena s “p”, dok je “Ona je donijela vino” predstavljena slovom “q”. Riječima za povezivanje, kao što su “i”, “ako”, “ali” i “ne”, daju se simboli koji također predstavljaju njihovu funkciju u većoj rečenici.
Kada se rečenice raščlane na ovaj način, svaka rečenica se može proraditi kao matematički dokaz. Simboli za riječi za povezivanje su logički operatori i ponašaju se slično matematičkim operatorima, kao što su plus i minus. Radeći kroz logički dokaz, može se utvrditi istinitost ili laž molekularne rečenice u cjelini, a ne samo atomskih rečenica koje ona sadrži.