Back Proposisionele logika Afrikaans حساب القضايا Arabic Lóxica proposicional AST Логіка выказванняў Byelorussian Зьлічэньне выказваньняў BE-X-OLD Пропозиционална логика Bulgarian Lògica proposicional Catalan Výroková logika Czech Каланăлăхсен шутлавĕ CV Rhesymeg osodiadol Welsh
De propositielogica is een tak van logica die zich bezighoudt met het redeneren met 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.
In vergelijking met andere types van logica is de propositielogica eenvoudig van opbouw (structuur, grammatica) maar beperkt in uitdrukkingsmogelijkheid.