Portaal:Filosofie/Uitgelicht 32
| A | B | A ∧ B | A ∨ B | A → B | A ↔ B |
| F | F | F | F | T | T |
| F | T | F | T | T | F |
| T | F | F | T | F | F |
| T | T | T | T | T | T |
De propositielogica is een tak van logica die zich bezighoudt met geldige redenaties in de vorm van proposities, beweringen die alleen waar of onwaar kunnen zijn. Voorbeelden hiervan zijn Wikipedia is een encyclopedie en Wicky heeft een noormannenhelm op. In vergelijking met bijvoorbeeld meerwaardige logica's zijn propositielogica's eenvoudig en beperkt.
Een propositie (bewering) kan ook samengesteld worden uit andere beweringen. Dit kan met behulp van zogeheten connectieven ook wel booleaanse operator of junctor genoemd. Een propositie zonder connectieven wordt een atoom genoemd. Een handige manier om een logische formule te bewijzen, is het opstellen van een waarheidstabel waarbij we iedere combinatie van waarheidswaarden van de atomen afzonderlijk bekijken. Een logische wet is er een formule die bij elke combinatie de waarheisdwaarde waar heeft. De variabelen voor formules geven we hier aan met de hoofdletters A, B, C, ... en de mogelijke waarheidswaarden van deze variabelen zijn waar (T voor true) en onwaar (F voor false).