Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Aussagenlogik/Vollständigkeitssatz/Tautologie/Fakt/Beweis
Sprache
Beobachten
Bearbeiten
<
Aussagenlogik/Vollständigkeitssatz/Tautologie/Fakt
Beweis
Dies ist der Spezialfall von
Fakt
bei
Γ
=
∅
{\displaystyle {}\Gamma =\emptyset }
.
Zur bewiesenen Aussage
