Aussagenlogische Formel (Not H -> Not G) - (G -> H) ist Tautologie. Beweis?

Question

Hallo,

ich habe eine Frage zu oben stehender Aufgabe. Ich habe eine Wahrheitstabelle aufgestellt, diese ausgewertet und für die letzte Spalte meiner Tabelle nur wahr erhalten, demnach liegt also eine Tautologie vor. Kann ich das so für diese Aufgabe machen oder muss ich das ganze anders beweisen?
Würde mich über jegliche Hilfe sehr freuen.

Comments

Wenn du in der Spalte mit der Überschrift (Not H -> Not G) - (G -> H)  überall "wahr" hast, hast du "ausgewertet" und damit so bewiesen, wie die das hier beschreiben.