Propvariablen

Propvariablen, in der Logik oft als Propositionalvariablen bezeichnet, sind die grundlegenden Symbole, die atomare Aussagen darstellen. Eine Propvariable steht für einen Satz, der wahr oder falsch ist, und besitzt innerhalb der logischen Sprache keine weitere Struktur.

Eine Bewertung (Belegung) ordnet jeder Propvariable einen Wahrheitswert zu, typischerweise wahr oder falsch. Der Wert einer zusammengesetzten Propvariablen-Formel wird rekursiv über die logischen Operatoren bestimmt: Negation (nicht), Konjunktion (und), Disjunktion (oder), Implikation und Äquivalenz. So ergibt sich aus den Werten der Variablen der Wahrheitswert der gesamten Formel.

Zu den gängigen Beispielen gehören p ∧ q, ¬p, p → q und p ∨ ¬r. Eine Formel ist satisfiable (erfüllbar), wenn es eine Belegung der Propvariablen gibt, die sie wahr macht. Sie ist eine Tautologie, wenn sie unter allen Belegungen wahr ist. Sind manche Belegungen wahr und andere falsch, handelt es sich um eine kontingente Formel.

Propvariablen spielen eine zentrale Rolle in der booleschen Logik, der digitalen Schaltungslogik und in Verfahren zur automatischen Beweisführung bzw. SAT-Lösungen. Sie ermöglichen die Darstellung komplexer logischer Aussagen durch eine endliche Anzahl von atomaren Aussagen.

Sie unterscheiden sich von Prädikatenvariablen der Prädikatenlogik, die mit Quantoren und Argumenten arbeiten und in der Logik mehr Struktur und Ausdruckskraft besitzen. Propositionallogik beschränkt sich auf fixe, argumentlose Aussagen und liefert ein kompaktes, entscheidbares System zur Wahrheitsbewertung von logischen Formeln.