Konstante (Logik)
aus Wikipedia, der freien Enzyklopädie
Logische Konstanten (lat. costare zusammenstehen) sind die Worte eines Satzes, welche übrigbleiben, nachdem alle nichtlogischen Wörter (Variablen) entfernt wurden. Nichtlogische Wörter sind Relationsbezeichnungen, Gegenstandsbezeichnungen und Funktionsausdrücke.
Das Wort Konstante beinhaltet in der Aussagenlogik als Oberbegriff die vier einstelligen und 16 zweistelligen logischen Konstanten. Gemeint sind alle möglichen Verknüpfungen von 2 Aussagen (Konnektoren, Junktoren und Operatoren). Alle konstanten und variablen Voraussetzungen bilden zusammen die Prämissen einer Aussage.
Zudem finden sich auch Konstanten in der Prädikatenlogik und der Klassenlogik wie etwa bei der Aussageverknüpfung (Implikation) und Konnexion. Existenzoperator und Alloperator sind weitere Konstanten der Prädikatenlogik.
[Bearbeiten] Quellen
- Helmut Glück (Hsg), Metzler-Lexikon Sprache, 2000
