Logik, Negation

22.06.2014, 18:44	KKKKKKKrrismdir	Auf diesen Beitrag antworten »
Logik, Negation Hallo, ich wollte eine Aussage $\begin{eqnarray} r\Rightarrow (p \vee q) \wedge (p\Rightarrow r) \wedge (q\Rightarrow r) \end{eqnarray}$ negieren, also $\begin{eqnarray} \neg (r\Rightarrow (p \vee q) \wedge (p\Rightarrow r) \wedge (q\Rightarrow r) ) <br /> \end{eqnarray}$ . Und habe dann folgendes: $\begin{eqnarray} r \wedge ( (\neg p \wedge \neg q)\vee (p\wedge \neg r)\vee (q\wedge \neg r)) \end{eqnarray}$ Richtig? Könnte ich auch die Negation mit Folgepfeil schreiben? Also jetzt nicht einfach ein Negationzeichen vor der Aussage schreiben und fertig? Nein oder?
22.06.2014, 19:47	kgV	Auf diesen Beitrag antworten »
RE: Logik, Negation Hört sich soweit richtig an, sofern alles, was nach dem Folgepfeil kommt, von r impliziert wird Die Sache mit dem Folgepfeil läuft aber leider wirklich nicht. Denn wenn (vereinfacht) gilt $\begin{eqnarray} a\to b \end{eqnarray}$ , dann ist $\begin{eqnarray} a\to\neg b \end{eqnarray}$ nicht die Verneinung der Aussage, denn: $\begin{eqnarray} \neg a\wedge\neg b \end{eqnarray}$ ist für beide Fälle wahr, was dann für Riesenprobleme in den Grundlagen der Logik sorgen würde. Lg kgV
22.06.2014, 20:10	KKKKKKKrrismdir	Auf diesen Beitrag antworten »
OK. Danke
22.06.2014, 20:34	kgV	Auf diesen Beitrag antworten »
Gern geschehen

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »