Syntaktische Tautologien/Semantisch/Korrektheit/Aufgabe

Zeige, dass die axiomatisch fixierten syntaktischen Grundtautologien allgemeingültig

sind

Eine Lösung erstellen