## [Prädikatenarität](/de/node/60884) Definition 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. ## Prinzip Prinzip Arität klassifiziert Prädikate nach ihrer Argumentstruktur und begrenzt die Gestalt atomarer Formeln; sie schränkt die ausdrückbaren Relationen ein und beeinflusst Übersetzungen, Modellkonstruktionen und Entscheidbarkeitsfragen in Logikfragmenten. ## Demonstration Demonstration Ein binäres Prädikat R(x,y) hat Arität 2 und drückt eine Relation zwischen Paaren von Domänenelementen aus; ein nullstelliges Prädikat P (oft als propositionales Atom behandelt) hat Arität 0 und bezeichnet eine wahrheitswertige propositionale Eigenschaft. ## Fehlanwendung Fehlanwendung Die Arität eines Prädikats mit der Anzahl seiner Vorkommen, mit der Arität von Funktionssymbolen zu verwechseln oder gebundene Variablen statt Argumentstellen zu zählen, ist eine typische Fehlanwendung, die die strukturelle Rolle der Arität verschleiert. ## Konsequenz Konsequenz Das Festlegen von Aritätsgrenzen (etwa Beschränkung auf unäre Prädikate) kann die Ausdrucksstärke und Entscheidbarkeit drastisch verändern: Viele entscheidbare Fragmente entstehen genau dadurch, dass Prädikataritäten begrenzt sind, und die Arität beeinflusst die kanonische Form von Modellen. ## Umkehrung Umkehrung Die umgekehrte Auffassung betont variabel- oder unbeschränkte Aritäten, bei denen Prädikate beliebig große Aritäten haben können; das Zulassen unbeschränkter Arität erhöht die Ausdrucksstärke, verkompliziert jedoch viele kombinatorische und entscheidungstheoretische Argumente. ## Abgrenzung Abgrenzung Arität bezieht sich auf die deklarierte Zahl von Argumentstellen in der Signatur und nicht auf die Anzahl verschiedener Terme, die in einem bestimmten Atom auftreten; sie schließt Meta-Parameterlisten aus und ist unabhängig von der Kardinalität der Domäne. ## Semantische Spannung Semantische Spannung Prädikatenarität steht im Spannungsverhältnis zu verwandten Begriffen wie dem Grad eines Prädikats (wie viele Tupel es in einer Struktur erfüllt) und Funktionsarität; die deklarierte Arität legt nicht fest, wie viele Tupel sie tatsächlich erfüllt, was zu Verwirrung führen kann. ## Synthese Synthese Prädikatenarität ist die deklarierte Anzahl von Termpositionen, die ein Prädikat akzeptiert (k für ein k-stelliges Prädikat); sie ist ein syntaktisches Signaturmerkmal, das die Form atomarer Formeln bestimmt und die Ausdrucksstärke sowie das modelltheoretische Verhalten stark beeinflusst.