.dsy:it. - esercizio risolto 1.2 luglio 2006

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

esercizio risolto 1.2 luglio 2006

Posted by Joliet Jake on 16-09-2007 16:08

scusate ma non capisco la soluzione scritta dal nostro amico .. ho capito che si sceglie un solo ramo, e qui va bene..
arrivo fino a:
(non) Q8a), (non) Q(b), P(a), (non) P(b), *

dopodichè non dovrebbero essere tutti negati gli R successivi?

nell'esercizio stesso c'è
Nota: V = per ogni

VxVy (non) R(x,y)

quindi dovrebbe continuare con tutte le combinazioni di x e y come parametri di R, ma negate!!

o sbaglio?

fatemi sapere se non so fare gli esercizi o se se è sbagliato lui...