Zeige, dass das hier eine Tautologie ist

Question

Aufgabe:

Zeige, dass das hier eine Tautologie ist: ((F und G) → H) → (F → (G → H))

Meine Idee:

*sei b eine beliebige Belegung

*b(rechte Seite) = f gdw. b(F) = w und b(G → H) = f, was gdw. gilt, wenn b(G)=w und b(H)=f, was genau dann wenn gilt b(F und G) = w, was genau dann gilt, wenn b(linke Seite) = f

Stimmt das so oder ist der Beweis falsch?

Answer 1

Stimmt so. Müsste noch mal etwas besser formuliert werden.