Numiți și purtători de adevăr, o propoziție atomică este o propoziție declarativă simplă care poate fi fie adevărată, fie falsă. Folosite în logică, propozițiile atomice sunt elementele de bază ale enunțurilor mai complexe, numite propoziții moleculare. În dovezile logice, propozițiilor atomice li se atribuie litere pentru a calcula cu ușurință adevărul sau falsitatea unei afirmații mai complexe.
O propoziție atomică este cel mai elementar tip de propoziție din logică. Similar unei propoziții simple din gramatică, o propoziție atomică conține un subiect, un verb și adesea un obiect. De exemplu, „Jack a gătit cina”, „El este inteligent” și „Ea a adus vinul” sunt toate propoziții atomice.
Un obiectiv principal în filozofie și logică este de a determina adevărul afirmațiilor și ideilor complexe. Propozițiile atomice sunt importante deoarece pot fi fie complet adevărate, fie complet false. Ori Jack a gătit cina, ori nu. Folosind propoziții atomice pentru a construi propoziții mai complexe – sau, dimpotrivă, pentru a descompune propozițiile complexe în părțile lor de bază – adevărul acestor afirmații poate fi determinat prin dovezi logice. Demonstrațiile logice sunt similare cu dovezile geometrice în funcție și design.
Când două sau mai multe propoziții atomice sunt înșirate împreună pentru a forma o propoziție mai complexă, se formează o propoziție moleculară. De exemplu, combinând propozițiile atomice „Jack a gătit cina” și „Ea a adus vinul”, formează propoziția moleculară, „Jack a gătit cina și ea a adus vinul”. În plus, propozițiile moleculare pot fi formate prin negația unei propoziții atomice. De exemplu, deși „El nu este inteligent” este încă o propoziție simplă conform regulilor gramaticale, conform regulilor logice, adăugarea „nu” face din enunț o propoziție moleculară. Propozițiile moleculare pot fi în întregime adevărate, parțial adevărate sau complet false.
În logica simbolică, propozițiilor atomice li se atribuie litere, adesea începând cu „p” și apoi continuând alfabetic. De exemplu, propoziția atomică, „Jack gătește cina”, poate fi reprezentată de un „p”, în timp ce „Ea a adus vinul” este reprezentată de litera „q”. Cuvintele de legătură, cum ar fi „și”, „dacă”, „dar” și „nu”, primesc simboluri pentru a reprezenta funcția lor și în propoziția mai mare.
Când propozițiile sunt defalcate în acest fel, fiecare propoziție poate fi prelucrată la fel ca o demonstrație matematică. Simbolurile pentru cuvintele de legătură sunt operatori logici și se comportă similar cu operatorii matematici, cum ar fi plus și minus. Lucrând printr-o demonstrație logică, se poate constata adevărul sau falsitatea unei propoziții moleculare în ansamblu, nu doar propozițiile atomice pe care le conține.