de propositielogica zelfst.naamw. (v.) Verbuigingen: propositielogica's tweewaardige logica die zich bezig houdt met redeneringen in de vorm van proposities 
De 'propositielogica' is een tak van logica die zich bezighoudt met het redeneren met proposities. en