Aussagenlogik

[MoskitoBurrito]

P Q ¬P ¬Q ¬P v ¬Q P v ¬Q

W W F F F W
W F F W W F
F W W F W F
F F W W F W


( ¬P v ¬Q) v ( P v ¬Q)

W
W
W
W

So müsste das sein....hoff ich ^.^

[JesusOfCool]

das forum lässt ja leider nicht sonderlich viele formatierungsmöglichkeiten zu.

aber für mich schaut das schon ganz gut aus so

dann nimm jetzt den rest der klammer her und lös das auf

[MoskitoBurrito]

joa ich hab leerzeichen gemacht aber das mag das Forum nich :<
Ich schreibs nochmal übersichtlich untereinander !

P

W
W
F
F

Q

W
F
W
F

¬P

F
F
W
W

¬Q

F
W
F
W

¬P v ¬Q

F
W
W
F

P v ¬Q

W
F
F
W

(( P v ( ¬P v ¬Q) v ( P v ¬Q))

F
F
W
W

¬(( P v ( ¬P v ¬Q) v ( P v ¬Q))

W
W
F
F


B kommt ja weg hast du gesagt da wir die Regel A --> B benutzt haben oder?

[JesusOfCool]

¬P v ¬Q

F
W
W
F

hier ist ein Fehler. Wenn P und Q falsch sind, sind ¬P und ¬Q natürlich wahr. also müsste als letztes ein W stehen

P v ¬Q

W
F
F
W

hier ist auch ein Fehler. Die Antwort für P = wahr und Q = falsch ist nicht korrekt. Wenn Q falsch ist, ist ¬Q natürlich wahr. dadurch hast du wahr ODER wahr, was natürlich wahr ist.

B kommt ja weg hast du gesagt da wir die Regel A --> B benutzt haben oder?

es kommt nicht weg, aber wir behandeln es einfach zum schluss.

[MoskitoBurrito]

¬P v ¬Q

F
W
W
F

Wieso muss da als letztes W stehn?
Du sagtest doch das beides W ist, das hab ich oben ja auch, aber v sagt ja das nur wenn eins Wahr ist es am ende wahr ist und bei "und" müssen sie beide wahr sein um wahr zu sein oder? ^.^

[JesusOfCool]

nein, ein logisches ODER heißt, dass zumindest eines wahr sein muss
also:

F ODER F = F
W ODER F = W
F ODER W = W
W ODER W = W

wenn nur eines wahr sein darf damit wahr rauskommt, dann nennt man das "exklusives oder" oder kurz und auf englisch auch XOR

[MoskitoBurrito]

P

W
W
F
F

Q

W
F
W
F

¬P

F
F
W
W

¬Q

F
W
F
W

¬P v ¬Q

F
W
W
W

P v ¬Q

W
W
F
W

( ¬P v ¬Q) v ( P v ¬Q)

W
W
W
W

(( P v ( ¬P v ¬Q) v ( P v ¬Q))

W
W
W
W

¬(( P v ( ¬P v ¬Q) v ( P v ¬Q))

F
F
F
F

Wenn ich meine Fehler korrigiere, bekomm ich das raus o_0
Siehe Quote der ist editiert.

[JesusOfCool]

soweit seh ich mal keinen fehler. so, jetzt fehlt noch der letzte teil
also
[hier deine ergebnisse] v ( P v ¬Q)

funktioniert doch recht prima soweit

[MoskitoBurrito]

soweit seh ich mal keinen fehler. so, jetzt fehlt noch der letzte teil
also
[hier deine ergebnisse] v ( P v ¬Q)

funktioniert doch recht prima soweit

¬(( P v ( ¬P v ¬Q) v ( P v ¬Q))

F
F
F
F

(P v ¬Q)

W
W
F
W

¬(( P v ( ¬P v ¬Q) v ( P v ¬Q)) v (P v ¬Q)

W
W
F
W

[JesusOfCool]

(P v ¬Q)

W
W
F
W

¬(( P v ( ¬P v ¬Q) v ( P v ¬Q)) v (P v ¬Q)

W
W
F
W

fällt dir da was auf?

[MoskitoBurrito]

Nope, die Ergebnisse hab ich ja alle von oben :>

[JesusOfCool]

es ist auch kein fehler. es ist nur so, dass das ergebnis von dem ganzen gleich dem ergebnis von P v ¬Q ist.
hmmm... ich kenn auch nicht alle regeln auswendig. es gibt auf jeden fall möglichkeiten, wo das ergebnis immer 1 oder immer 0 ist, egal was man einsetzt. ich frage mich ob man die linke große klammer so umformen könnte, dass man so etwas anwenden kann.

bist du mit dem ergebnis soweit zufrieden?
hast du das ganze soweit auch verstanden?

[MoskitoBurrito]

Joa war am Anfang nur verwirrt da zwischen den Klammern dieses ---> stand, aber mit der ersten Regel wars ja ziehmlich einfach:

P --> Q = ¬P v Q

Wann benutzt man den die zweite Regel?:
P --> Q = ¬Q --> ¬P

ansonsten werd mir noch en paar Aufgaben online ansehn und gucken ob ich aufs Ergebnis komme, danke für deine Hilfe ^.^

[JesusOfCool]

Joa war am Anfang nur verwirrt da zwischen den Klammern dieses ---> stand, aber mit der ersten Regel wars ja ziehmlich einfach:

P --> Q = ¬P v Q

Wann benutzt man den die zweite Regel?:
P --> Q = ¬Q --> ¬P

ansonsten werd mir noch en paar Aufgaben online ansehn und gucken ob ich aufs Ergebnis komme, danke für deine Hilfe ^.^

die zweite regel hast du auch benutzt, nur in die andere richtung. die sind ja alle frei austauschbar.

achja, falls du generell informationen zu diesen sachen haben willst, wikipedia ist ziemlich gut in diesem gebiet.

generelle aussagenlogik:
http://de.wikipedia.org/wiki/Aussagenlogik

die implikation im speziellen:
http://de.wikipedia.org/wiki/Implikation

Der Satz von DeMorgan kann einem manchmal auch helfen
http://de.wikipedia.org/wiki/De_Morgansche_Gesetze

wenn du Probleme oder Fragen hast kannst du sie ja hier reinschreiben. ich werd dir dann schon irgendwann antworten.

[Spaady]

kann mir mal jemand erklären, was ihr da macht