Aussagenlogik/Ableitungskalkül/Abschluss/Aufgabe

Es sei ${\displaystyle {}\Gamma \subseteq L^{V}}$ eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge ${\displaystyle {}V}$. Zeige

${\displaystyle {}\Gamma ^{\vdash }={\left(\Gamma ^{\vdash }\right)}^{\vdash }\,.}$