Logici matti e logici sani!

Messaggioda 3m0o » 08/02/2019, 17:07

Ci sono 3 logici, solo che alcuni sono dei logici matti e altri sono sani (potrebbero essere tutti sani oppure tutti matti). Un logico sano deduce le verità e affermerà il vero mentre un logico matto deduce le verità e pensa al vero ma affermerà il falso. I logici si pronunciano solamente sulle cose di cui sono certi. Un logico matto è certo del fatto che 1+1=2 e lo penserà ma afferma che 1+1 non fa 2. I logici si conoscono e dunque sanno chi è sano e chi è matto e sono coscienti di essere sani oppure matti. Ci sono 3 oracoli A,B e C, uno è Onesto, uno è Bugiardo e l'altro è XOR. I logici si dilettano a porre domande ai tre oracoli, senza scopo alcuno.
Il primo esploratore parla e capisce la lingua dei 3 oracoli, il secondo ed il terzo non la conoscono a priori e non la parlano ne tanto meno la capiscono. Gli oracoli comunque comprendono l'italiano ma risponderanno solamente nella loro lingua.
Il primo ed il secondo esploratore sono davanti agli oracoli ma solo il primo farà le domande, nonostante questo il secondo sente sia le domande che le risposte. Mentre il terzo è rimasto indietro perché in ritardo. Il terzo esploratore vede che il primo esploratore pone una domanda all'oracolo A ma non sente né la domanda né la risposta. Arriva anche il terzo esploratore nel momento in cui il primo esploratore rivolgendosi all'oracolo A: "La mia seconda domanda è: 'B è XOR?' " ... L'oracolo A risponde : "Nir"
Il terzo esploratore sente la risposta dell'oracolo A alla seconda domanda "B è XOR?"

A questo punto i tre logici hanno il seguente dialogo:
Il primo: "Io ho capito le identità dei tre oracoli!"
Il secondo: "Io so come si dice sì!"
Il primo: "Nir vuol dire sì!"
Il terzo: "Sicuramente A non è XOR" poi aggiunge "domandando a B 'sono matto?' sono certo del significato della risposta!"

Chi è sano e chi è matto?
3m0o
Cannot live without
Cannot live without
 
Messaggio: 148 di 5324
Iscritto il: 02/01/2018, 15:00

Re: Logici matti e logici sani!

Messaggioda axpgn » 08/02/2019, 17:30

Testo nascosto, fai click qui per vederlo
Il terzo è sano mentre gli altri no
axpgn
Cannot live without
Cannot live without
 
Messaggio: 12918 di 40641
Iscritto il: 20/11/2013, 22:03

Re: Logici matti e logici sani!

Messaggioda 3m0o » 08/02/2019, 17:34

:smt023
3m0o
Cannot live without
Cannot live without
 
Messaggio: 149 di 5324
Iscritto il: 02/01/2018, 15:00

Re: Logici matti e logici sani!

Messaggioda axpgn » 08/02/2019, 17:46

Testo nascosto, fai click qui per vederlo
Se i primi due fossero sani allora sarebbe vero che il terzo sarebbe certo della risposta alla sua domanda (e quindi sano) ma non potrebbe essere sicuro che A non sia XOR (e quindi anche pazzo). Scartata.
Se il primo è pazzo (e il terzo lo sa) allora "Nir" significa "NO" e tutto torna per il terzo che quindi è sano.
Il secondo quindi non può essere sicuro di sapere come si dice sì perché o ha sentito due "NO" oppure un "SÌ" e un "NO" quindi è matto pure lui.
Tutto torna in questo caso quindi per me la soluzione è questa :D

IMHO


Cordialmente, Alex
axpgn
Cannot live without
Cannot live without
 
Messaggio: 12919 di 40641
Iscritto il: 20/11/2013, 22:03

Re: Logici matti e logici sani!

Messaggioda 3m0o » 08/02/2019, 18:51

axpgn ha scritto:
Testo nascosto, fai click qui per vederlo
Se i primi due fossero sani allora sarebbe vero che il terzo sarebbe certo della risposta alla sua domanda (e quindi sano) ma non potrebbe essere sicuro che A non sia XOR (e quindi anche pazzo). Scartata.
Se il primo è pazzo (e il terzo lo sa) allora "Nir" significa "NO" e tutto torna per il terzo che quindi è sano.
Il secondo quindi non può essere sicuro di sapere come si dice sì perché o ha sentito due "NO" oppure un "SÌ" e un "NO" quindi è matto pure lui.
Tutto torna in questo caso quindi per me la soluzione è questa :D

IMHO


Cordialmente, Alex

Infatti è giusto! :smt023
3m0o
Cannot live without
Cannot live without
 
Messaggio: 150 di 5324
Iscritto il: 02/01/2018, 15:00


Torna a Giochi matematici

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite