Även kallad sanningsbärare, en atomär mening är en enkel deklarativ mening som antingen kan vara sann eller falsk. Använda i logik, är atomära meningar byggstenarna för mer komplexa påståenden, kallade molekylära meningar. I logiska bevis tilldelas atomära meningar bokstäver för att enkelt kunna beräkna sanningen eller falskheten i ett mer komplext påstående.
En atomär mening är den mest grundläggande typen av mening inom logiken. I likhet med en enkel mening i grammatik innehåller en atomär mening ett subjekt, ett verb och ofta ett objekt. Till exempel ”Jack lagade middag”, ”Han är intelligent” och ”Hon kom med vinet” är alla atomära meningar.
Ett huvudmål inom filosofi och logik är att fastställa sanningen i påståenden och komplexa idéer. Atomiska meningar är viktiga eftersom de antingen kan vara helt sanna eller helt falska. Antingen lagade Jack middag eller så gjorde han det inte. Genom att använda atomära meningar för att bygga mer komplexa meningar – eller omvänt, för att bryta ner komplexa meningar i deras grundläggande delar – kan sanningen i dessa påståenden fastställas genom logiska bevis. Logiska bevis liknar geometriska bevis i funktion och design.
När två eller flera atomära meningar strängs ihop för att bilda en mer komplex mening, bildas en molekylär mening. Till exempel, att kombinera de atomära meningarna, ”Jack lagade middag” och ”Hon kom med vinet”, bildar den molekylära meningen, ”Jack lagade middag, och hon kom med vinet.” Dessutom kan molekylära meningar bildas genom negationen av en atomär mening. Till exempel, även om ”Han är inte intelligent,” är fortfarande en enkel mening enligt grammatiska regler, enligt logiska regler, gör tillägget av ”inte” påståendet till en molekylär mening. Molekylära meningar kan vara helt sanna, delvis sanna eller helt falska.
I symbolisk logik tilldelas atomära meningar bokstäver, som ofta börjar med ”p” och fortsätter sedan alfabetiskt. Till exempel kan den atomära meningen ”Jack lagar middag” representeras av ett ”p” medan ”Hon kom med vinet” representeras av bokstaven ”q.” De länkande orden, som ”och”, ”om”, ”men” och ”inte”, ges symboler för att representera deras funktion även i den större meningen.
När meningarna bryts ner på detta sätt kan varje mening arbetas igenom precis som ett matematiskt bevis. Symbolerna för länkorden är logiska operatorer och beter sig på samma sätt som matematiska operatorer, som plus och minus. Genom att arbeta igenom ett logiskt bevis kan sanningen eller osanningen av en molekylär mening som helhet, inte bara de atomära meningarna som den innehåller, fastställas.