esercizio risolto 1.2 settembre 2006
Clicca QUI per vedere il messaggio nel forum |
| Joliet Jake |
sbaglio o c'è un errore anche qui?
la prima parte, quella prima della "freccia grande", va lasciata così com'è, a causa dell'utilizzo contemporaneo della negazione e della implicazione:
(non) ( A -> B) = A (and) (non)B
parliamo della parte A: si applica la regola dell'implicazione.
percio diventa
(non) Vx (Q(a) (or) R(x,b)) (or) (esiste)xP(x)
e risulta quindi
((esiste)x (non) (Q(a) (or) R(x,b))) (or) (esiste)xP(x)
etc.
invece nella soluzione c'è
... (and) Vx(non)P(x)
:?:?:?
E' un errore?
non so fare i conti?
aiuto! |
| biett0 |
Su questo esercizio hai ragione tu anche xkè, se guardi bene la soluzione del mio amico, alla seconda riga aggiunge 2 parentesi che non doveva proprio mettere... di fatto, la negazione prende solo la parentesona del V (x ogni) e basta.
L'altro esercizio quando ho tempo ci dò un'occhiata, xkè devo controllare una cosa che non ricordo, visto che sto preparando basi di dati...
Se hai bisogno altro...
bye,
Fabio ;) |
| Joliet Jake |
| oh bene ;) grazie ;) |
| biett0 |
| prego... che roba è il gruppo univulva?! :D |
|
|
|
