Aussagenlogik/Vollständigkeitssatz/Beliebiger Fall/Fakt/Beweis
Zur Navigation springen
Zur Suche springen
Beweis
Dass die Ableitungsbeziehung die Folgerungsbeziehung impliziert, wurde bereits im Rahmen der Korrektheitsüberlegungen zu den Ableitungsregeln gezeigt. Für die Umkehrung nehmen wir an. Dies bedeutet nach Aufgabe, dass widerspruchsfrei ist. Nach Fakt ist dann auch erfüllbar. Es gibt also eine Wahrheitsbelegung mit und . Also ist .