Es sei S {\displaystyle {}S} ein Symbolalphabet und α ∈ L S {\displaystyle {}\alpha \in L^{S}} ein S {\displaystyle {}S} -Ausdruck.
Dann ist α {\displaystyle {}\alpha } genau dann eine ableitbare Tautologie, wenn α {\displaystyle {}\alpha } allgemeingültig ist.
