Saukts arī par patiesības nesējiem, atomu teikums ir vienkāršs deklaratīvs teikums, kas var būt patiess vai nepatiess. Loģikā izmantotie atomu teikumi ir sarežģītāku apgalvojumu veidošanas bloki, ko sauc par molekulārajiem teikumiem. Loģiskajos pierādījumos atomu teikumiem tiek piešķirti burti, lai viegli aprēķinātu sarežģītāka apgalvojuma patiesumu vai nepatiesību.
Atomu teikums ir visvienkāršākais teikuma veids loģikā. Līdzīgi kā vienkāršs teikums gramatikā, atomu teikumā ir subjekts, darbības vārds un bieži vien objekts. Piemēram, “Džeks pagatavoja vakariņas”, “Viņš ir inteliģents” un “Viņa atnesa vīnu” ir īsi teikumi.
Filozofijas un loģikas galvenais mērķis ir noteikt apgalvojumu un sarežģītu ideju patiesumu. Atomu teikumi ir svarīgi, jo tie var būt vai nu pilnīgi patiesi, vai pilnīgi nepatiesi. Vai nu Džeks pagatavoja vakariņas, vai ne. Izmantojot atomu teikumus, lai izveidotu sarežģītākus teikumus vai, gluži pretēji, sadalītu sarežģītus teikumus to pamatdaļās, šo apgalvojumu patiesumu var noteikt, izmantojot loģiskus pierādījumus. Loģiskie pierādījumi pēc funkcijas un dizaina ir līdzīgi ģeometriskajiem pierādījumiem.
Kad divi vai vairāki atomu teikumi ir savērti kopā, lai izveidotu sarežģītāku teikumu, veidojas molekulārs teikums. Piemēram, apvienojot atomu teikumus “Džeks pagatavoja vakariņas” un “Viņa atnesa vīnu”, veidojas molekulārais teikums: “Džeks pagatavoja vakariņas, un viņa atnesa vīnu”. Turklāt molekulāros teikumus var veidot, noliedzot atomu teikumu. Piemēram, lai gan “Viņš nav inteliģents” joprojām ir vienkāršs teikums saskaņā ar gramatikas likumiem, saskaņā ar loģiskajiem likumiem, pievienojot “nē”, apgalvojums kļūst par molekulāru teikumu. Molekulārie teikumi var būt pilnīgi patiesi, daļēji patiesi vai pilnībā nepatiesi.
Simboliskajā loģikā atomu teikumiem tiek piešķirti burti, kas bieži sākas ar “p” un pēc tam turpinās alfabētiskā secībā. Piemēram, atomu teikumu “Džeks gatavo vakariņas” var apzīmēt ar “p”, savukārt “Viņa atnesa vīnu” var apzīmēt ar burtu “q”. Saistošiem vārdiem, piemēram, “un”, “ja”, “bet” un “nē”, tiek piešķirti simboli, kas attēlo to funkciju arī lielākā teikumā.
Ja teikumi tiek sadalīti šādā veidā, katru teikumu var apstrādāt tāpat kā matemātisko pierādījumu. Saistošo vārdu simboli ir loģiski operatori, un tie darbojas līdzīgi matemātiskajiem operatoriem, piemēram, plus un mīnus. Izstrādājot loģisku pierādījumu, var noskaidrot molekulārā teikuma patiesumu vai nepatiesību kopumā, nevis tikai tajā ietvertos atomu teikumus.