| V I S U A L I Z Z A D I S C U S S I O N E |
| hulk85 |
Inserito il - 18/07/2009 : 21:59:19
Ciao Raga,
sapreste tradurre questa il Formule del primo Ordine?
(a) ogni malato non stima se stesso;
(b) ci sono dottori che curano se stessi;
(c) qualche malato stima tutti i dottori che lo curano;
(d) tutti i malati stimano almeno un dottore che li cura.
soprattutto la (d)
GRAZIE. |
| 14 U L T I M E R I S P O S T E (in alto le più recenti) |
| orchidea |
Inserito il - 19/07/2009 : 20:52:57
Cmq io ho tradotto le frasi in clausole, ho formulato dei goals e il principio di risoluzione esce. |
| mareemarmo |
Inserito il - 19/07/2009 : 20:32:26
Come fa Dottore ad essere contemporaneamente simbolo predicativo unario e simbolo relazionale binario?
Credo non sia possibile questa interpretazione... |
| orchidea |
Inserito il - 19/07/2009 : 20:26:05
Io invece l'ho svolto in questo modo, credo vadano bene entrambi:
(a) ogni malato non stima se stesso:
Ax MALATO(x) --> !STIMA (x,x)
(b) ci sono dottori che curano se stessi:
Ey DOTTORE(y)--> CURA(y,y)
(c) qualche malato stima tutti i dottori che lo curano:
Ex MALATO(x) and Ay(DOTTORE(y,x) --> STIMA(x,y))
(d) tutti i malati stimano almeno un dottore che li cura:
Ax MALATO(x) and Ey(DOTTORE(y,x) --> STIMA (x,y)) |
| Ivan86 |
Inserito il - 19/07/2009 : 18:31:24
Citazione:
Messaggio inserito da arcanum
Ah si ovviamente... Ey! :)
sto un pò rinc...
a chi lo dici |
| arcanum |
Inserito il - 19/07/2009 : 16:57:06
Ah si ovviamente... Ey! :)
sto un pò rinc... |
| Ivan86 |
Inserito il - 19/07/2009 : 15:39:29
Citazione:
Messaggio inserito da arcanum
Ah non me n'ero accorto...la B io l'ho tradotta così:
Ex Dottore(y) -> Cura(y,y)
Ey Dottore(y) -> Cura(y,y) e non Ex
forse non te ne sei accorto ;) |
| Mauro84 |
Inserito il - 19/07/2009 : 15:29:13
Citazione:
Messaggio inserito da arcanum
Uguale! Anche a me viene così..
ho solo un dubbio sulla seconda frase, si può mettere la "y" anzichè la "x"? ovvero..
(b) ci sono dottori che curano se stessi;
Ex DOTTORE(y) and CURA (y,y)
Sono variabili quelle o metti y o metti x non cambia nulla,
l'importante è ricordare di non usare la stessa
variabile quantificata più volte nella stessa formula :D
ossia Ax P(x,x) and Ex Q(x) diventerebbe Ax P(x,x) and Ey Q(y);
Poi per essere coerenti nell'uso delle variabili puoi anche mettere y
:D |
| vampire |
Inserito il - 19/07/2009 : 13:12:02
Citazione:
Messaggio inserito da hulk85
Questo è il file allegato...
Divertitevi; domani spero non ci sia da Piangere...
Ciao
Allegato:  logica_primo_ord1_1.pdf
173,48 KB
dando un'occhiata veloce nn è male questo file..questo faceva parte del corso disattivato? |
| hulk85 |
Inserito il - 19/07/2009 : 12:58:05
Questo è il file allegato...
Divertitevi; domani spero non ci sia da Piangere...
Ciao
Allegato: logica_primo_ord1_1.pdf
173,48 KB |
| arcanum |
Inserito il - 19/07/2009 : 12:35:23
Ah non me n'ero accorto...la B io l'ho tradotta così:
Ex Dottore(y) -> Cura(y,y)
|
| mareemarmo |
Inserito il - 19/07/2009 : 12:11:02
Anche io ho un dubbio sulla b), non si potrebbe usare la stessa forma della a)?
b)ci sono dottori che curano se stessi
Ex Dottore(x) -> Cura(x,x) |
| arcanum |
Inserito il - 19/07/2009 : 12:04:48
Uguale! Anche a me viene così..
ho solo un dubbio sulla seconda frase, si può mettere la "y" anzichè la "x"? ovvero..
(b) ci sono dottori che curano se stessi;
Ex DOTTORE(y) and CURA (y,y) |
| Ivan86 |
Inserito il - 19/07/2009 : 11:32:59
anche io ho fatto come Mauro.
Se c'è il goal mettilo. da dove prendi questi esercizi?
grazie |
| Mauro84 |
Inserito il - 19/07/2009 : 10:40:24
(a) ogni malato non stima se stesso;
Ax MALATO(x) -> !STIMA (x,x)
(b) ci sono dottori che curano se stessi;
Ex DOTTORE(x) and CURA (x,x)
(c) qualche malato stima tutti i dottori che lo curano;
Ex MALATO(x) and Ay(DOTTORE(y) and CURA(y,x) -> STIMA(x,y))
(d) tutti i malati stimano almeno un dottore che li cura.
Ax MALATO and Ey(DOTTORE(y) and CURA(y,x) -> STIMA (x,y))
Ma in questo esercizio c'è un GOALSSSSSSSSSSS? se si postalo che controllo che tutto funzioni ;) |
