Predicate logic and quantifiers
In de propositielogica maken we gebruik van proposities. Een voorbeeld van een propositie is: “Ik haal een 7, dus ik haal een voldoende”
De taal van de propositielogica is voor veel dingen beperkt. Daarvoor hebben we de predicatenlogica…