De
propositielogica is een tak van
logica die zich bezighoudt met geldige redeneringen in de vorm van
proposities. Proposities zijn uitspraken of beweringen die ofwel waar, ofwel onwaar zijn. Voorbeelden hiervan zijn
- De Winkler Prins is een encyclopedie
en
- Wicky heeft een noormannenhelm op.
In de propositielogica kunnen uitspraken alleen waar of onwaar zijn, dit in tegenstelling tot
meerwaardige logica's waarbij uitspraken ook andere waarden kunnen hebben.