Frage zu Logikaufgabe

10.04.2014, 12:08	Logitius	Auf diesen Beitrag antworten »
Frage zu Logikaufgabe Hi, Ich will gerne folgende Implikation auflösen $\begin{eqnarray} (p -> q) -> ((p -> \neg q) -> \neg p) \end{eqnarray}$ = $\begin{eqnarray} (\neg p \vee q) -> ( \neg ( p -> \neg q) \vee \neg p) \end{eqnarray}$ = $\begin{eqnarray} \neg(\neg p \vee q) \vee ( \neg ( \neg p \vee \neg q) \vee \neg p) \end{eqnarray}$ = $\begin{eqnarray} (p \wedge \neg q) \vee ( (p \wedge q) \vee \neg p) \end{eqnarray}$ = $\begin{eqnarray} (p \wedge \neg q) \vee ((p \vee \neg p) \wedge (q \vee \neg p)) \end{eqnarray}$ = $\begin{eqnarray} (p \wedge \neg q) \vee (q \vee \neg p) \end{eqnarray}$ = wahr?!
10.04.2014, 14:26	weisbrot	Auf diesen Beitrag antworten »
RE: Frage zu Logikaufgabe ist deine frage jetzt ob die formel wahr ist, oder ob du das richtig umgeformt hast, oder was?
10.04.2014, 15:08	Logitius	Auf diesen Beitrag antworten »
Hallo, Meine Frage ist: Habe ich richtig umgeformt? Wenn nein, wo liegt der (erste) Fehler?
10.04.2014, 17:56	weisbrot	Auf diesen Beitrag antworten »
sieht richtig aus. lg

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »