Tautologien/Folgerung/Aufgabe

Es sei ${}T$ die Menge aller Tautologien in einer aussagenlogischen Sprache ${}L^{V}$. Zeige

${}T^{\vDash }=T$.

Eine Lösung erstellen