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.