Taip pat vadinamas tiesos nešėjais, atominis sakinys yra paprastas deklaratyvus sakinys, kuris gali būti teisingas arba klaidingas. Logikoje naudojami atominiai sakiniai yra sudėtingesnių teiginių, vadinamų molekuliniais sakiniais, kūrimo blokai. Loginiuose įrodymuose atominiams sakiniams priskiriamos raidės, kad būtų galima lengvai apskaičiuoti sudėtingesnio teiginio teisingumą ar klaidingumą.
Atominis sakinys yra pats paprasčiausias sakinio tipas logikoje. Panašiai kaip paprastame gramatikos sakinyje, atominiame sakinyje yra subjektas, veiksmažodis ir dažnai objektas. Pavyzdžiui, „Džekas gamino vakarienę“, „Jis protingas“ ir „Ji atnešė vyno“ – visi sakiniai.
Pagrindinis filosofijos ir logikos tikslas yra nustatyti teiginių ir sudėtingų idėjų teisingumą. Atominiai sakiniai yra svarbūs, nes jie gali būti visiškai teisingi arba visiškai klaidingi. Arba Džekas gamino vakarienę, arba ne. Naudojant atominius sakinius sudėtingesniems sakiniams kurti arba, atvirkščiai, sudėtingus sakinius suskaidyti į pagrindines dalis, šių teiginių teisingumą galima nustatyti naudojant loginius įrodymus. Loginiai įrodymai savo funkcijomis ir dizainu yra panašūs į geometrinius įrodymus.
Kai du ar daugiau atominių sakinių sujungiami, kad susidarytų sudėtingesnis sakinys, susidaro molekulinis sakinys. Pavyzdžiui, sujungus atominius sakinius „Džekas gamino vakarienę“ ir „Ji atnešė vyną“, susidaro molekulinis sakinys „Džekas gamino vakarienę, o ji atnešė vyno“. Be to, molekuliniai sakiniai gali būti sudaryti neigiant atominį sakinį. Pavyzdžiui, nors „Jis nėra protingas“ vis dar yra paprastas sakinys pagal gramatines taisykles, pagal logines taisykles, pridėjus „ne“ teiginys tampa molekuliniu sakiniu. Molekuliniai sakiniai gali būti visiškai teisingi, iš dalies teisingi arba visiškai klaidingi.
Simbolinėje logikoje atominiams sakiniams priskiriamos raidės, dažnai prasidedančios raide „p“ ir tęsiančios abėcėlės tvarka. Pavyzdžiui, atominis sakinys „Džekas gamina vakarienę“ gali būti pavaizduotas raide „p“, o „Ji atnešė vyną“ – raidė „q“. Susiejantiems žodžiams, tokiems kaip „ir“, „jei“, „bet“ ir „ne“, suteikiami simboliai, atspindintys jų funkciją ir didesniame sakinyje.
Kai sakiniai suskaidomi tokiu būdu, kiekvienas sakinys gali būti atliktas kaip matematinis įrodymas. Susiejimo žodžių simboliai yra loginiai operatoriai ir elgiasi panašiai kaip matematiniai operatoriai, pvz., pliusas ir minusas. Atliekant loginį įrodymą, galima nustatyti viso molekulinio sakinio, o ne tik atominių sakinių, kuriuos jis sudaro, tiesą ar melą.