Version: 2.00
©Raddy '99

Binäre Logik II                  zurück

Implikation
Seite 2 von 3
a-absatz.pcx (280 Byte)Pfeildiagramm
      Man die Wahrheitswert-Kombinationen die bei einer Implikation
      auftreten in einem Pfeildiagramm darstellen (wie bei der Äquivalenz):
      11k2s7p1.pcx (3855 Byte)

a-absatz.pcx (280 Byte)
Eigenschaften implikativer Aussagen
      Am Pfeildiagram erkennt man, daß zwei Aussagen die eine
      Implikation bilden, folgende Eigenschaften haben:
     
             1. Wenn A wahr ist, folgt daraus, daß B wahr ist.
             2. Wenn B falsch ist, folgt daraus, daß A falsch ist.

      Wir überprüfen diese zwei Eigenschaften am Beispiel der Vorseite:

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

             1.  Wenn ich einen Golf habe, dann habe ich auch ein Auto.
             2.  Wenn ich kein Auto habe, dann habe ich (auch) keinen Golf.

      Man sieht: Die Folgerungen, die sich aus dem Pfeildiagramm ergeben,
      treten auch im Beispiel auf.          

a-absatz.pcx (280 Byte)
Sprechweise
      Normalerweise liest man den Ausdruck Al-implik.PCX (208 Byte)B als "A impliziert B".
      Wegen oben erwähnter Eigenschaft 1 liest man den Ausdruck Al-implik.PCX (208 Byte)B
      auch als "Aus A folgt B".

      Nun stellt sich die Frage warum man Eigenschaft 2 bei dieser
      Sprechweise garnicht erwähnen muß. Antwort: Eigenschaft 2
      ergibt sich automatisch aus Eigenschaft 1 (Beweis nächste Seite).