Eine weitere Aufgabe zu einem Beweis per Wahrheitstafel:

Question

ich soll die äquivalenz zwischen ¬(A => B) <=> A => ¬B beweisen.

A => B     ¬(A => B)       A => ¬B
w                     f                      f
f                      w                     w
w                    f                      w
w                     f                      w

was mache ich hier falsch?

Anmerkung:
A        B         ¬B
w       w          f
w       f           w
f        w          f 
f         f           w

Florian T. S.

Answer 1

du hast alles richtig gemacht, auf der rechten Seite steht doch ganz bestimmt

A und nicht B

Comments

Habe eben nachgeschaut (per Google) und die richtige "Definition" gefunden.

Da hat der Dozent sich verschieben :-D Da kann man ganz schön durcheinander kommen.