Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Prädikatenlogik/Aussagenlogische Tautologie/Korrektheit/Fakt
Sprache
Beobachten
Bearbeiten
Jede aussagenlogische Tautologie im Sinne von
Axiom
ist
allgemeingültig in der Prädikatenlogik
.
Zum Beweis
,
Alternativen Beweis erstellen
