Prädikate
Dabei werden die betrachteten Objekte zu einem Individuenbereich 
z.B. Menge
der natürlichen Zahlen, zusammengefaßt.
Eigenschaften der Individuen, z.B. ,,
ist eine Primzahl``, und Beziehungen
zwischen Individuen, z.B. ,,
ist kleiner als ``, werden als
Prädikate bezeichnet.
Ein -stelliges Prädikat über dem Individuenbereich 
ist eine Abbildung
,
die jedem -Tupel von Individuen einen
Wahrheitswert zuordnet.
So sind die oben angeführten Prädikate über den natürlichen Zahlen ein- bzw.
zweistellig.
