Zeige mit Belegung, dass (¬G → K) ↔ G eine Tautologie ist

Question

Aufgabe:

Zeige mit Belegung, dass (¬G → K) ↔ G eine Tautologie ist (K in der Formel ist Kontradiktion)

Stimmt mein Beweis so:

•sei β eine beliebige Belegung

•β(G) = falsch

•β(¬G → K) = falsch, genau dann wenn β(¬G) = wahr, also auch genau dann wenn β(G) = falsch

Answer 1

Siehe https://matheplanet.de/matheplanet/nuke/html/reply.php?topic=249678&replyto=4&lpi=1817401&tt=2020-10-05+22%3A49&post=1817376&quote=1

lul