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