Aussagenlogik/Tautologie und Erfüllbarkeit/Fakt/Beweis
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.