Implikation

[Spade]

Warum gilt das obrige?

Ich kann's mir ungefähr denken, aber ich krieg's einfach nicht hin das gescheit in Worte zu fassen. Wenn (nicht x) oder y gilt, dann gilt "wenn x, dann y"? Naja, das steht da einfach, das erklärt aber nichts. Wahrscheinlich steh ich auch einfach nur auf dem Schlauch und es ist ganz simpel...

 

[Kinta]

Also wenn ich jetzt von meinem Wissen über die Aussagenlogik ausgehe, dann hat die Implikation folgende Wahrheitstabelle:
x -- y -- (x->y)
0 -- 0 -- 1
0 -- 1 -- 1
1 -- 0 -- 0
1 -- 1 -- 1

Für den zweiten Ausdruck ((not x) or y) ergibt sich folgende Wahrheitstabelle:
x -- y -- ((not x) or y)
0 -- 0 -- 1
0 -- 1 -- 1
1 -- 0 -- 0
1 -- 1 -- 1

Die beiden Tabellen sind identisch und somit sind auch die Ausdrücke äquivalent. Keine Ahnung, ob dir das hilft, aber so würde ich überprüfen, ob die Ausdrücke äquivalent sind.

Kinta

 

[Shisochin]

Naja ich hätte ein umgangssprachliches Beispiel ^^

Es regnet => die Straße ist nass
Es regnet nicht => die Straße ist entweder trocken oder nass. (Kann ja vorher schon geregnet haben oder einer mit einem Eimer Wasser die Straße nass gemacht haben)

 

[Spade]

Danke Kinta, das ist der Schlauch auf dem ich Stand. Ich hab so sehr versucht das in Worte zu fassen, dass ich den einfachsten Weg einfach übersehen habe. XD