Es sei S {\displaystyle {}S} ein Symbolalphabet und sei α ∈ L S {\displaystyle {}\alpha \in L^{S}} eine syntaktische Tautologie.
Dann ist α {\displaystyle {}\alpha } auch eine semantische Tautologie.
