Aussagenvariablen/Ableitungsäquivalenz/Extern und intern/Aufgabe/Lösung

1. Da ${}\vdash p$ ebensowenig wie ${}\vdash q$ gilt, ist die Äquivalenz der beiden Ableitungen gegeben.
2. Der Ausdruck ${}p\leftrightarrow q$ ist nicht ableitbar, da er keine semantische Tautologie ist, wie man sieht, wenn man ${}p$ mit ${}1$ und ${}q$ mit ${}0$ belegt.

Zur gelösten Aufgabe