Aussagenvariablen/Ableitungsäquivalenz/Extern und intern/Aufgabe

Aus Wikiversity

Es seien verschiedene Aussagenvariablen. Begründe die (Un)Richtigkeit der beiden folgenden Aussagen.

  1. genau dann, wenn .
  2. .