Predikaten­logicaꜛ

Predikatenlogica breidt de propositielogica uit met de quantorenꜛ ∀ꜛ en ∃ꜛ.

De formule P(x) betekent dat het predikaatꜛ P geldt voor zaak x.

∀x[P(x)]

P is waar voor alle xꜛ.

∃x[P(x)]

P is waar voor sommige xꜛ (dat wil zeggen: minstens één x).

Ook hier geldt De Morgan: ∀x[P(x)] = ¬∃x[¬P(x)] en ∃x[P(x)] = ¬∀x[¬P(x)].