Polyadisch predikaat

Polyadische predikaten zijn predikaten die meerdere variabelen hebben. Dit in tegenstelling tot monadische predikaten, die slechts een variabele hebben. Monadische predikaten geven eigenschappen weer, polyadische predikaten geven relaties tussen componenten aan.

In deze cursus zullen we hoogstens gebruik maken van diadische predikaten (ook wel relationele predikaten genoemd) die twee variabelen hebben.

Voorbeelden

• "Blackie is een paard en zwart (en ... en ...)."
• "x is groter dan y", geformaliseerd weergegeven als Gxy

Quantificatie

• ∀x(Gxy) "iedere x is groter dan y" (propositionele functie)
• ∀x(Gx3) "iedere x is groter dan 3" (propositie)
• ∀x∀y(Gxy) "iedere x is groter dan iedere y" (propositie)