TU Wien:Mathematik 1 UE (diverse)/Übungen WS06/Beispiel 6

Angabe

Entscheiden Sie mit Hilfe einer Wahrheitstafel, ob die folgende Äquivalenz richtig ist.

$a\leftrightarrow b\iff (a\to b)\to \mathrm{\neg }(b\to a)$

Lösungsvorschlag von mnemetz

a	b		$a\leftrightarrow b$		$a\to b)$	$\mathrm{\neg }(b\to a)$	$(a\to b)\to \mathrm{\neg }(b\to a)$
1	1		1		1	0	0
1	0		0		0	0	1
0	1		0		1	1	1
0	0		1		1	0	0

Die Wahrheitstafel beweist, dass Äquivalenz nicht gegeben ist!