Aussagenvariablen/Ableitungsäquivalenz/Extern und intern/Aufgabe

< Aussagenvariablen < Ableitungsäquivalenz < Extern und intern

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

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

Zur Lösung, Alternative Lösung erstellen

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.