Aussagenvariablen/Ableitungsäquivalenz/Extern und intern/Aufgabe

Es seien ${}p,q$ verschiedene Aussagenvariablen. Begründe die (Un)Richtigkeit der beiden folgenden Aussagen.

1. ${}\vdash p$ genau dann, wenn ${}\vdash q$.
2. ${}\vdash p\leftrightarrow q$.

Zur Lösung, Alternative Lösung erstellen