2 Rätsel

1310-Logik schrieb:

P = !M
M = !O
O = !P || !M

:p

wieso !P ODER !M ??? da steht doch paul UND max LÜGEN. also müsste es !P && !M heißen.

Wie könnte man das in Prolog formulieren?

Ponto

Zu Aufgabe 2:

Angenommen Otto lügt nicht: Dann lügen Max und Paul. Die Aussage von Paul ist dann aber korrekt, da Max lügt. Also lügt er nicht und Otto lügt. Das ist ein Widerspruch.

Es folgt, dass Otto lügt.

Nun sagt Max, dass Otto lüge, was korrekt ist. Damit sagt Max die Wahrheit. Damit aber Otto lügt, muss nun Paul auch lügen. Da Paul behauptet, dass Max lüge, dieser jedoch die Wahrheit sagt, lügt Paul. Das ist also konsistent.

Insgesamt ist Lösung 1 richtig.

THX 1138

fragee schrieb:

1310-Logik schrieb:
P = !M
M = !O
O = !P || !M
:p
wieso !P ODER !M ??? da steht doch paul UND max LÜGEN. also müsste es !P && !M heißen.

Du musst nur die richtige Frage stellen :p
Wer lügt?
Wenn Paul ODER Max die Wahrheit (0) sagen, dann lügt (1) Otto
Paul lügt, wenn Max die Wahrheit sagt
und Max lügt, wenn Otto die Wahrheit sagt

Oder aufgelöst:

M = !O
P = !M
P = !(!O)
O = !P | !M
0 = !(!0) | !0

Otto ist ein Lügner!

hat wer was anderes raus? oder mal ne idee zu aufgabe1? lol

TGGC

@Daniel:
Korrekt, damit ist die Lösung 4!

Für mich ist die zweite Aufage nicht lösbar, weil nach meinem Verständnis jede Antwort einen Widerspruch ergibt. Z.B. laut Anwort eins lügt Otto. Otto sagt das Paul lügt. Da das gelogen ist, hat Paul nicht gelogen. Antwort eins sagt aber, Paul lügt. Das wäre der Widerspruch. Aber nach 1310-Logik lügt Otto selbst dann, wenn Paul lügt. Dann wäre Lösung 1 kein Widerspruch. f'`8k

Autocogito

Gruß, TGGC (\-/ returns)

http://de.wikipedia.org/wiki/Luzifer_Rätsel

TGGC schrieb:

@Daniel:
Korrekt, damit ist die Lösung 4!

Für mich ist die zweite Aufage nicht lösbar, weil nach meinem Verständnis jede Antwort einen Widerspruch ergibt. Z.B. laut Anwort eins lügt Otto. Otto sagt das Paul lügt. Da das gelogen ist, hat Paul nicht gelogen. Antwort eins sagt aber, Paul lügt. Das wäre der Widerspruch. Aber nach 1310-Logik lügt Otto selbst dann, wenn Paul lügt. Dann wäre Lösung 1 kein Widerspruch. f'`8k

Autocogito

Gruß, TGGC (\-/ returns)

falsch. die lösung von 1310-Logik ist absolut korrekt.

Alle drei haben recht, da jeder der drei irgendwann lügt

edekuh

THX 1138

Auch halb gelogen ist gelogen.
Max sagt die Wahrheit.