Aussagenlogik/Ableitungsbeziehung/p, neg q impliziert r/Beispiele/Aufgabe

Es sei ${}\Gamma =\{p,\neg q\rightarrow r\}\subseteq L^{V}$ ($p,q,r$ seien Aussagenvariablen). Welche der folgenden Aussagen lassen sich aus ${}\Gamma$ ableiten?

$p\rightarrow q,\,\neg q\rightarrow p,\,\neg p\rightarrow r,\,\neg q\rightarrow r\wedge p,\,\neg r\rightarrow q,\,r\rightarrow {\left(q\rightarrow \neg p\right)}.$

Eine Lösung erstellen