Syntaktische Tautologien/Semantisch/Korrektheit/Aufgabe