Proposisionele logika, ook bekend as sentensiële logika, is 'n tak van wiskundige logika wat handel oor die studie van stellings of stellings wat óf waar of onwaar is. Dit is 'n formele stelsel van logika wat simbole gebruik om proposisies voor te stel en logiese operateurs om dit te manipuleer. In propositionele logika is 'n proposisie 'n verklarende stelling wat óf waar óf onwaar is, maar nie albei op dieselfde tyd nie. Die logiese operateurs wat in proposisionele logika gebruik word, sluit in ontkenning, konjunksie, disjunksie, implikasie en ekwivalensie, wat 'n mens toelaat om meer komplekse proposisies uit eenvoudigers te konstrueer. Die hoofdoel van propositionele logika is om 'n sistematiese en streng manier te ontwikkel om argumente te ontleed en geldige gevolgtrekkings te maak.