Propositional logic
Proposities (beweringen) zijn uitspraken die waar of onwaar zijn. Bijvoorbeeld: “Melk is wit” Dit is een ware propositie. In de propositielogica gaan we na wanneer een propositie waar is of onwaar. Wat niet onder proposities val zijn bijvoorbeeld uitroepen vragen en bevelen.