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

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

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

Eine Lösung erstellen