Schlussregel (Widerspruchsbeweis)

05.12.2016, 12:21	Wuld9500	Auf diesen Beitrag antworten »
Schlussregel (Widerspruchsbeweis) Meine Frage: Hallo, ich soll die Schlussregel $\begin{eqnarray} ([-a\wedge b] \Rightarrow -b)\Rightarrow a \end{eqnarray}$ beweisen. -a bzw. -b steht für die Negation. Meine Ideen: Durch vereinfachen komme ich auf $\begin{eqnarray} -b \Rightarrow a \end{eqnarray}$ , bzw. meine Wahrheitstafel ist auch nicht nur wahr, wie es bei einer Schlussregel eigentlich sein müsste. Danke im Voraus

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »