Aussagenlogik/Ableitungskalkül/Ausdrucksmengen/Beispiel/1/Aufgabe

Es sei  ${}\Gamma _{1}=\{p\wedge q\rightarrow r\}$  und  ${}\Gamma _{2}=\{p\rightarrow (q\rightarrow r)\}$.  Zeige

${}\Gamma _{1}^{\vdash }=\Gamma _{2}^{\vdash }\,.$

Eine Lösung erstellen