Kwantoren

In de predicatenlogica worden naast de connectieven die in de propositielogica worden gebruikt ook nog twee kwantoren gebruikt. De predicatenlogica is dan ook een uitbreiding op de propostielogica. Er zijn twee kwantoren, de existensiële kwantor, en de universele kwantor.

Existentiële kwantor
De existensiële kwantor moet je lezen als "er is een". Hierna komt een argument, of formule (e.g. $$\exists x P $$ betekent "er is een x waarvoor geldt P). Een voorbeeld is: $$\exists x (x\cdot x=2)$$, een formule die aangeeft dat $$\sqrt{2}$$ bestaat.

Universele kwantor
$$ \forall x $$ betekent "voor alle x", het argument dat hierna komt geldt dus voor alle x. Een voorbeeld is $$\forall x (x-x=0)$$.