Zeige mit Hilfe von Belegungen, dass (¬G → ¬F) ↔ (F → G) eine Tautologie ist.

Question

Aufgabe:

Zeige mit Hilfe von Belegungen, dass (¬G → ¬F) ↔ (F → G) eine Tautologie ist.

Stimmt mein Beweis?

Mein Beweis:

•sei β eine beliebige Belegung

•β(F → G) = falsch, genau dann wenn β(F) = wahr und β(G) = falsch

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

Answer 1

Ich finde es prima !