Syntaktische Tautologien/Semantisch/Korrektheit/Aufgabe

Zeige, dass die axiomatisch fixierten syntaktischen Grundtautologien allgemeingültig sind

Eine Lösung erstellen