.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- esercizio risolto 1.2 settembre 2006 (http://www.dsy.it/forum/showthread.php?threadid=31930)

esercizio risolto 1.2 settembre 2006

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!

__________________
In Blues We Trust

1.2 Settembre 06

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

oh bene grazie

__________________
In Blues We Trust

Re

prego... che roba è il gruppo univulva?!