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

Aus VoWi
Zur Navigation springen Zur Suche springen

Prüfungsfragen zu Aussagenlogik

[Bearbeiten | Quelltext bearbeiten]

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