TU Wien:Mathematik 1 UE (diverse)/Testvorbereitung WS07/Prüfung Logik

Panholzer

28.04.2006

Definition von Tautologie. Beweisen Sie, dass der gegebene logischer Ausdruck eine Tautologie ist: $(A\rightarrow B)\rightarrow [(A\rightarrow C)\rightarrow (B\rightarrow C)]$