Joliet Jake

.illuminato.

User info:

Registered: Oct 2006
Posts: 249 (0.04 al dì)
Location: Milano
Corso: Informatica triennale
Anno: 3
Time Online: 1 Day, 4:31:25 [...]
Status: Offline

Post actions:

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

biett0

.arcimaestro.

User info:

Registered: May 2007
Posts: 383 (0.06 al dì)
Location: Milano - Lago di Garda
Corso: Info. Telecom.
Anno: on the road
Time Online: 1 Day, 15:56:54 [...]
Status: Offline

Post actions:

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

.illuminato.

User info:

Registered: Oct 2006
Posts: 249 (0.04 al dì)
Location: Milano
Corso: Informatica triennale
Anno: 3
Time Online: 1 Day, 4:31:25 [...]
Status: Offline

Post actions:

oh bene grazie

__________________
In Blues We Trust

biett0

.arcimaestro.

User info:

Registered: May 2007
Posts: 383 (0.06 al dì)
Location: Milano - Lago di Garda
Corso: Info. Telecom.
Anno: on the road
Time Online: 1 Day, 15:56:54 [...]
Status: Offline

Post actions:

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