Lösung für Aufgabe 3.2.6
Wir betrachten die Aussagen $p$ und $q$, über deren Wahrheitswert wir nichts wissen. Es gelte jedoch $p \Rightarrow q$. Was lässt sich dann über die folgenden vier Aussagen sagen? \begin{equation*} \text{1.}\;\neg q \Rightarrow \neg p,\qquad \text{2.}\;\neg p \Rightarrow \neg q,\qquad \text{3.}\; q \Rightarrow \neg p,\qquad \text{4.}\;\neg p \Rightarrow q \end{equation*}1. Richtig $$\neg q \Rightarrow \neg p = q \vee \neg p = \neg p \vee q = p \Rightarrow q.$$ 2. Falsch Denn $$p \vee \neg q \neq \neg p \vee q.$$ 3. Falsch Denn $$\neg q \vee \neg p \neq \neg p \vee q.$$ 4. Falsch Denn $$p \vee q \neq \neg p \vee q.$$