Aussagenlogik/Tautologie und Erfüllbarkeit/Fakt/Beweis
Zur Navigation springen
Zur Suche springen
Beweis
Wir beweisen die kontraponierte Aussage, dass genau dann keine Tautologie ist, wenn erfüllbar ist. Dass keine Tautologie vorliegt, bedeutet, dass es eine Wahrheitsbelegung derart gibt, dass
Dies bedeutet aber
was gerade die Erfüllbarkeit von besagt.