Logik Implikation Biimplikation?
Guten Tag. Meine Frage bezieht sich auf das Klammern auflösen. Wie geht man da bei beispielsweise einer Biimplikation vor wenn diese nochmals negiert ist.
Bsp: -(A=>B) kann man das dann zu -A => -B auflösen?
1 Antwort
Mach doch am besten eine Wahrheitstafel
A B I II
w w f w
w f w w
f w f f
f f f w
Hier sieht man, dass man weiter käme, wenn man II umdreht, also -B => -A:
w
f
w
w
Das entspricht genau I, außer dass alles umgedreht ist. Also kommen wir zu
-(-B => -A)