Prädikatenarität

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Die Anzahl der Argumentstellen eines Prädikatsymbols, die angibt, wie viele Terme das Prädikat annimmt; ein k-stelliges Prädikat bezieht sich auf k Terme und ist zentral für die Signatur einer Sprache.