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
