Homepage  Il progetto dsy.it è l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum


.dsy:it. .dsy:it. Archive > Didattica > Corsi G - M > Logica matematica
 
esercizio risolto 1.2 luglio 2006
Clicca QUI per vedere il messaggio nel forum
Joliet Jake
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...

DarkStalker
Non ho ben capito la domanda, cmq di solito non si negano i parametri
ma resta negato solo R

Joliet Jake
no dico, i parametri lo so che non si possono negare ma se ho (perogni)x (perogni)y R(x,y) devo fare tutte le combinazioni di x e y ma R è negato.. e allora perchè nella soluzione vengono messe quelle coppie, se compaiono con R negato?

cioè se ho A = {a,b} e nell'ultima foglia del ramo compare (non)P(a), io non scrivo mica I(P) = {a}!!

Powered by: vbHome (lite) v4.1 and vBulletin v2.3.1 - Copyright ©2000 - 2002, Jelsoft Enterprises Limited
Mantained by dsy crew (email) | Collabora con noi | Segnalaci un bug | Archive | Regolamento |Licenze | Thanks | Syndacate