.dsy:it. - esercizio risolto 1.2 settembre 2006

.dsy:it.
//www.dsy.it

esercizio risolto 1.2 settembre 2006

Posted by Joliet Jake on 16-09-2007 18:22

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!