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

< Aussagenvariablen < Ableitungsäquivalenz < Extern und intern < Aufgabe

Da ${}\vdash p$ ebensowenig wie ${}\vdash q$ gilt, ist die Äquivalenz der beiden Ableitungen gegeben.
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

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