Logische Äquivalenz

Logische Äquivalenz

Eine logische Äquivalenz liegt vor, wenn zwei logische Ausdrücke den gleichen Wahrheitswert besitzen.

Der Ausdruck Äquivalenz wird in der Logik mehrdeutig verwendet:

  • zum einen im Sinne der materialen Äquivalenz (Bikonditional)
  • zum anderen im Sinne der formalen Äquivalenz (Logische Äquivalenz).

Bikonditional (materiale Äquivalenz) und logische Äquivalenz (formale Äquivalenz) sind wesentlich verschiedene Begriffe. Das Bikonditional ist ein Begriff der Objektsprache, die logische Äquivalenz ist ein Begriff der Metasprache. Die Begriffe sind jedoch aufeinander bezogen[1]: die logische Äquivalenz ist ein allgemeingültiges Bikonditional .

Im Folgenden geht es nur um die logische Äquivalenz, nicht jedoch um das Bikonditional.

Inhaltsverzeichnis

Terminologie und Synonymie

Soweit ersichtlich hat sich bislang keine feste Terminologie ausgebildet. Die Logische Äquivalenz wird auch (zumeist) logische Äquivalenz geschrieben und auch formale Äquivalenz oder schlicht Äquivalenz (mit der Verwechslungsgefahr mit der materialen Äquivalenz) genannt.

Begriff

Hier geht es nur um die logische Äquivalenz im Sinn der klassischen, zweiwertigen Logik.

Definition

Die logische Äquivalenz wird in zwei gleichwertigen definitorischen Grundformen definiert. Die Definition der logischen Äquivalenz erfolgt hier prototypisch für die aussagenlogische Äquivalenz. Daneben gibt es auch eine darauf aufbauende prädikatenlogische Äquivalenz.

Die logische Äquivalenz als Werteverlaufsgleichheit von Aussageformen

Eine logische Äquivalenz liegt vor, wenn zwei logische Ausdrücke den gleichen Wahrheitswert besitzen, gleichwertig sind[2], die gleichen Wahrheitswerte-Eintragungen in einer Wahrheitstabelle haben[3], „wenn sie dieselben Wahrheitsfunktionen beinhalten, d. h. dieselben möglichen Welten ein- bzw. ausschließen.“ [4], wenn der Werteverlauf (Wahrheitstabelle) der beiden Aussagen gleich ist.

Allgemeiner formuliert – d. h. nicht auf Aussagenlogik beschränkt – sind zwei Aussagen P und Q der klassischen, zweiwertigen Logik genau dann äquivalent, wenn beide Aussagen unter jeder möglichen Interpretation denselben Wahrheitswert annehmen

Die Logische Äquivalenz als allgemeingültiges Bikonditional

Eine logische Äquivalenz liegt vor, wenn ein Bikonditional wahr[5], allgemeingültig[6], eine Tautologie[7] ist.

Je nach Terminologie oder Präzision der Terminologie geht es dabei um die logische Äquivalenz von Aussageformen[8]oder Aussageverbindungen[9], von Sätzen[10], von Teilsätzen[11], Aussagen [12], (komplexen) Aussagen[13] oder Ausdrücken[14].

Die Metasprachlichkeit der logischen Äquivalenz

Der Begriff der logischen Äquivalenz ist metasprachlich bzw. metatheoretisch. Mit ihm wird eine (Meta-) Aussage über die Beziehung (Relation) zweier Ausdrücke der Objektsprache getroffen.

Abgrenzungen

materiale Äquivalenz (Bikonditional)

Von der Äquivalenz als metatheoretisches Konzept muss das Bikonditional als Operator (Junktor, Konnektiv) der jeweiligen logischen Objektsprache unterschieden werden, das ebenfalls oft als Äquivalenz bezeichnet wird. Diese Homonymie ist insofern unglücklich, als sie dazu verleitet, ein objekt- und ein metasprachliches Konzept zu verwechseln oder zu vermengen, und weil sie dazu zwingt, sehr genau darauf zu achten, was im jeweiligen Zusammenhang mit dem Wort „Äquivalenz“ gemeint ist. Einzelheiten: Bikonditional.

Definition

„Alle Definitionen haben die Form von logisch wahren Äquivalenzen.“[15]

mathematische Gleichung

Die Logische Äquivalenz beschreibt die Werteverlaufsgleichheit von Aussagen, analog dem Gleichheitszeichen in der Algebra. So sind zwei Aussagen A, B der klassischen Aussagenlogik genau dann logisch äquivalent, wenn der Werteverlauf (Wahrheitstabelle) der beiden Aussagen gleich ist.

„Die Funktion der Äquivalenzen in der Logik entspricht die Funktion der Gleichungen in der Mathematik.“[16].

Schreib- und Sprechweisen

Für „A äquivalent B“ wird in der mathematischen Notation häufig ein Doppelter Pfeil nach Links und rechts verwendet (⇔, Unicode-Zeichen U+21D4 im Unicode-Block Pfeile)

A \Leftrightarrow B

Man sagt

  • in der Mathematik:
    • A ist äquivalent zu B
    • A gilt genau dann, wenn B
    • A gilt dann und nur dann, wenn B
  • in der Logik:
    • A ist logisch äquivalent zu B
    • A ist werteverlaufsgleich mit B
    • A ist logisch gleichwertig zu B

Man schreibt auch

  • A gdw. B
  • A iff. B (engl. if and only if)
  • A = B [17].

Diese Schreib- und Sprechweise für die logische Äquivalenz ist abzugrenzen von der für das Bikonditional. Für die objektsprachliche Aussage „A genau dann wenn B“ (Bikonditional!) schreibt man in der Logik (unter anderem):

A \equiv B oder A \leftrightarrow B

Die logische Äquivalenz als Relation und ihre Eigenschaften

Die „Äquivalenz ist eine Relation“[18] und zwar „eine Relation zwischen zwei Aussagen, die inhaltlich nicht gleich sind, aber stets gemeinsam entweder wahr oder falsch sind.“[19].

Die Äquivalenz kann dabei als eine „dreistellige Relation zwischen zwei Dingen und einer Eigenschaft“[20] oder als zweistellige Relation, die schon auf eine Eigenschaft relativiert ist, verwendet werden[21].

Die Äquivalenzrelation hat die Eigenschaften der Reflexivität, Symmetrie und Transitivität[22].

Satz

  • In der klassischen Logik gilt das Metatheorem, dass zwei Sätze X und Y genau dann äquivalent sind, wenn das aus ihnen gebildete Bikonditional X ↔ Y eine Tautologie ist.
  • Ist das Bikonditional nicht per Definition eingeführt, sondern als eigenständiger Junktor gemäß obiger Wahrheitstabelle, dann gilt das Metatheorem, dass die zwei Sätze der Form X ↔ Y und (X → Y) & (Y → X) äquivalent sind.

Siehe auch

Quellen

  1. Vgl. Regenbogen/Meyer, Wörterbuch der philosophischen Begriffe (2005)/Äquivalenz: enge Beziehung
  2. Zoglauer, Thomas, Einführung in die formale Logik für Philosophen (1999), S.47
  3. Salmon, Logik (1983), S. 88
  4. Spies, Einführung [2004], S. 32
  5. Seiffert, Logik (1971), S. 186
  6. Vgl. Hilbert/Ackermann, Grundzüge, 6. Aufl. (1972), S. 11 f.
  7. Salmon, Logik (1983), S. 96; Bußmann, Lexikon der Sprachwissenschaft, 3. Aufl. (2002)/Äquivalenz; Lohnstein, Formale Semantik (1996), S. 41
  8. Salmon, Logik (1983), S. 96; Hilbert/Ackermann, Grundzüge, 6. Aufl. (1972), S. 11 f.
  9. Hilbert/Ackermann, Grundzüge, 6. Aufl. (1972), S. 11 f.
  10. Spies, Einführung in die Logik (2004), S. 22
  11. Seiffert, Logik (1973), S. 186
  12. Bußmann, Lexikon der Sprachwissenschaft, 3. Aufl. (2002)/Äquivalenz
  13. Lohnstein, Formale Semantik (1996), S. 41
  14. Zoglauer, Thomas, Einführung in die formale Logik für Philosophen (1999), S.47
  15. Zoglauer, Thomas, Einführung in die formale Logik für Philosophen (1999), S.43
  16. Reichenbach, Grundzüge der symbolischen Logik (1999), S. 36
  17. Zoglauer, Thomas, Einführung in die formale Logik für Philosophen (1999), S.43
  18. Regenbogen/Meyer, Wörterbuch der philosophischen Begriffe (2005)/Äquivalenz
  19. Seiffert, Wissenschaftstheorie IV (1997), Äquivalenz
  20. Regenbogen/Meyer, Wörterbuch der philosophischen Begriffe (2005)/Äquivalenz
  21. Regenbogen/Meyer, Wörterbuch der philosophischen Begriffe (2005)/Äquivalenz
  22. Hilbert/Ackermann, Grundzüge, 6. Aufl. (1972), S. 12

Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Äquivalenz (Logik) — Eine logische Äquivalenz liegt vor, wenn zwei logische Ausdrücke den gleichen Wahrheitswert besitzen. Der Ausdruck Äquivalenz wird in der Logik mehrdeutig verwendet: zum einen im Sinne der materialen Äquivalenz (Bikonditional) zum anderen im… …   Deutsch Wikipedia

  • Äquivalenz — Gleichwertigkeit; Gegenwert * * * Äqui|va|lẹnz 〈[ va ] f. 20; unz.〉 Gleichwertigkeit [→ äquivalent] * * * Äqui|va|lẹnz, die; , en [mlat. aequivalentia]: 1. (bildungsspr.) Gleichwertigkeit: die Ä. zweier Begriffe, verschiedener Tauscho …   Universal-Lexikon

  • Logische Funktion — Eine Boolesche Funktion (auch logische Funktion) ist eine mathematische Funktion der Form (teilweise auch allgemeiner ). B ist dabei eine Boolesche Algebra. Der Funktionsbezeichner, hier F, wird für Boolesche Funktionen im Allgemeinen groß… …   Deutsch Wikipedia

  • Logische Verneinung — Eine Negation (v. lat.: negare = verneinen) bezeichnet die Ablehnung oder Verneinung. (Gegenteil: Affirmation). Inhaltsverzeichnis 1 Linguistik 2 Logik 2.1 Negation in der zweiwertigen Logik 2.1.1 Die Satznegation …   Deutsch Wikipedia

  • Äquivalenz — Das Wort Äquivalenz (v. lat.: aequus „gleich“ und valere „Wertigkeit“: dt. Gleichwertigkeit) wird im Zusammenhang mit folgenden Sachverhalten verwendet: Mathematik, Logik Äquivalenzrelation das Äquivalenzzeichen: Äquivalenzklasse Logische… …   Deutsch Wikipedia

  • Logische Verknüpfung — Logische Verknüpfungen sind Operationen der Booleschen Algebra. Mit Hilfe der logischen Verknüpfungen lassen sich in der Aussagenlogik und Schaltalgebra aus einfacheren Aussagen kompliziertere Aussagen zusammensetzen. Dabei muss der Wahrheitswert …   Deutsch Wikipedia

  • Gdw. — Eine logische Äquivalenz liegt vor, wenn zwei logische Ausdrücke den gleichen Wahrheitswert besitzen. Der Ausdruck Äquivalenz wird in der Logik mehrdeutig verwendet: zum einen im Sinne der materialen Äquivalenz (Bikonditional) zum anderen im… …   Deutsch Wikipedia

  • Genau dann, wenn — Eine logische Äquivalenz liegt vor, wenn zwei logische Ausdrücke den gleichen Wahrheitswert besitzen. Der Ausdruck Äquivalenz wird in der Logik mehrdeutig verwendet: zum einen im Sinne der materialen Äquivalenz (Bikonditional) zum anderen im… …   Deutsch Wikipedia

  • Genau dann wenn — Eine logische Äquivalenz liegt vor, wenn zwei logische Ausdrücke den gleichen Wahrheitswert besitzen. Der Ausdruck Äquivalenz wird in der Logik mehrdeutig verwendet: zum einen im Sinne der materialen Äquivalenz (Bikonditional) zum anderen im… …   Deutsch Wikipedia

  • True Wert — Die Aussagenlogik (veraltet Urteilslogik) ist der Bereich der Logik, der sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen semantisch ein Wahrheitswert zugeordnet wird.… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”