Version: 2.00
©Raddy '99

Binäre Logik II                  zurück
Implikation
Seite 1 von 3		 a-absatz.pcx (280 Byte)Vorbemerkung
      Wir haben gesehen, daß zwischen zwei Aussagen Beziehungen
      bestehen können. Die erste dieser Beziehungen nannten wir
      Äquivalenz. Nun können zwischen zwei Aussagen auch
      Beziehungen anderer Art bestehen, wie z.B. die die
      Folgebeziehung, die Implikation genannt wird.

a-absatz.pcx (280 Byte)Beispiel und Definition

             A: Ich habe einen VW-Golf.
             B: Ich habe ein Auto.

      Die beiden Aussagen des Beispiels treten anscheinend in
      folgenden drei Kombinationen auf:

             1.  A und B sind falsch (Ich habe keinen Golf und kein Auto).
             2.  A ist falsch, B ist wahr (Ich habe keinen Golf aber ein Auto).
             3.  A und B sind wahr (Ich habe einen Golf als Auto).

      Dagegen treten die Aussagen nie in folgender Kombination auf:

             4.   A=wahr/B=falsch (Ich habe einen Golf aber kein Auto).

      Man nennt eine Beziehung zwischen zwei Aussagen eine Implikation,
      wenn die Wahrheitswerte der Aussagen in den Kombinationen 1 bis 3
      auftreten, aber nicht in der Kombination 4.

      Anstatt zu sagen "Die Aussagen A und B stehen in der Beziehung
      der Implikation" sagt man "A impliziert B" und schreibt:

                             A l-implik.PCX (208 Byte) B                 











      weiter auf der nächsten Seite