Ableitungskalkül/Aussagenvariablenmenge als Aussagenmenge/Beispiele/1/Aufgabe

Es sei ${}V=\{p,q,r\}$ eine Aussagenvariablenmenge. Welche der folgenden Aussagen aus ${}L^{V}$ lassen sich aus ${}\Gamma =V$ ableiten?

1. $p,$

2. $p\wedge q\rightarrow r,$

3. $\neg p\wedge q\rightarrow r,$

4. $\neg p\wedge \neg q\rightarrow \neg r,$

5. $p\rightarrow (q\rightarrow r),$

6. $p\rightarrow (q\rightarrow \neg r),$

7. $\neg q.$

Eine Lösung erstellen