Implikation, Wenn...dann, Logik

15.11.2007, 19:09	donvito	Auf diesen Beitrag antworten »
Implikation, Wenn...dann, Logik Ich soll vier Sätze in aussagenlogische Formeln überführen. Dazu wüßte ich gerne ob meine Interpretation stimmt, bevor ich mich auf die anderen Sätze stürze. Laut Wikipedia ist "wenn a ... dann b"das gleiche wie $\begin{eqnarray} \lnot a \lor b \end{eqnarray}$ . Richtig? Demnach wäre ja der Satz "Wenn a und b in M vorkommen, dann kommt genau eine der Substanzen c oder d in M vor. " äquivalent zu $\begin{eqnarray} \lnot(a \land b) \lor (c \lor d) \end{eqnarray}$ Stimmt das soweit? Ich bin mir einfach nicht sicher und habe keine Lust nachher die ganzen Formeln nochmal zu texen. Gruß, donvito
15.11.2007, 19:40	therisen	Auf diesen Beitrag antworten »
Nein, "genau eine" heißt $\begin{eqnarray} (c\wedge \neg d) \vee (\neg c \wedge d) \end{eqnarray}$
15.11.2007, 19:43	donvito	Auf diesen Beitrag antworten »
Stimmt, das wäre dann ein XOR

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »