Zwane również nosicielami prawdy, zdanie atomowe jest prostym zdaniem deklaratywnym, które może być prawdziwe lub fałszywe. Używane w logice zdania atomowe stanowią elementy składowe bardziej złożonych zdań, zwanych zdaniami molekularnymi. W dowodach logicznych zdaniu atomowym przypisuje się litery, aby łatwo obliczyć prawdziwość lub fałszywość bardziej złożonego zdania.
Zdanie atomowe jest najbardziej podstawowym typem zdania w logice. Podobnie jak proste zdanie w gramatyce, zdanie atomowe zawiera podmiot, czasownik i często dopełnienie. Na przykład „Jack ugotował obiad”, „Jest inteligentny” i „Przyniosła wino” są zdaniami atomowymi.
Głównym celem filozofii i logiki jest ustalenie prawdziwości twierdzeń i złożonych idei. Zdania atomowe są ważne, ponieważ mogą być całkowicie prawdziwe lub całkowicie fałszywe. Albo Jack ugotował obiad, albo nie. Używając zdań atomowych do budowania zdań bardziej złożonych — lub odwrotnie, do dzielenia zdań złożonych na ich podstawowe części — prawdziwość tych stwierdzeń można ustalić za pomocą dowodów logicznych. Dowody logiczne są podobne do dowodów geometrycznych pod względem funkcji i projektu.
Kiedy dwa lub więcej zdań atomowych jest łączonych razem, tworząc zdanie bardziej złożone, powstaje zdanie molekularne. Na przykład połączenie zdań atomowych „Jack ugotowała obiad” i „Przyniosła wino” tworzy zdanie molekularne „Jack ugotował obiad, a ona przyniosła wino”. Dodatkowo zdania molekularne mogą być tworzone przez negację zdania atomowego. Na przykład, chociaż „On nie jest inteligentny” jest nadal prostym zdaniem według reguł gramatycznych, według reguł logicznych, dodanie „nie” czyni zdanie zdanie molekularne. Zdania molekularne mogą być całkowicie prawdziwe, częściowo prawdziwe lub całkowicie fałszywe.
W logice symbolicznej zdaniu atomowym przypisuje się litery, często zaczynając od „p”, a następnie kontynuując alfabetycznie. Na przykład zdanie atomowe „Jack gotuje obiad” może być reprezentowane przez „p”, a „Przyniosła wino” przez literę „q”. Słowa łączące, takie jak „i”, „jeśli”, „ale” i „nie”, otrzymują symbole reprezentujące ich funkcję również w większym zdaniu.
Kiedy zdania są podzielone w ten sposób, każde zdanie można przepracować tak, jak matematyczny dowód. Symbole słów łączących są operatorami logicznymi i zachowują się podobnie do operatorów matematycznych, jak plus i minus. Przepracowując logiczny dowód, można ustalić prawdziwość lub fałszywość zdania molekularnego jako całości, a nie tylko zawartych w nim zdań atomowych.