===== Predicaten =====

Soms kan het zo zijn dat de propositie pas bepaald kan worden als de waarde van een variabele bekend is.\\ 
De predicatenlogica breidt de propositielogica namelijk uit met constanten en variabelen die u kunt gebruiken om de propositie te bepalen.

  * [[http://ocw.tudelft.nl/courses/technische-informatica/redeneren-en-logica/colleges/predicatenlogica/|TU Delft Predicatenlogica]]