Aussagenlogik/Vollständigkeitssatz/Tautologie/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Dies ist der Spezialfall von Fakt bei .