.dsy:it. - Esame del 21/2

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

Esame del 21/2

Posted by katana83 on 07-03-2006 10:30

Ciao a tutti sono uno studente del 3 anno e mi manca solo questo fantastico esame prima d laurearmi!...per motivi d lavoro non ho potuto seguire il corso e d conseguenza non ho capito un c..zzo!..ho provato a fare l'esame d febbraio studiando dalle dispense ma è stato peggio del previsto, soprattutto la parte della Bucalo!...questo è il testo dell'esame:

Modello di:
(esiste x Q(x) \/ perogni y P(b,f(y)) /\ nonesiste x esiste y (non P (f(x),y) -->P(x,f(y)))-->nonperogni x (Q(x)-->esiste y P(f(x),y))

Contromodello di:
perogni x (P(x) /\ R(x)-->Q(x,x)) /\ nonesiste y Q(y,y)-->(esiste x R(x)-->perogni x non P(x)

Frasi di Ghilardi:
Ogni romanzo è (un) libro
Ogni libro che Paolo legge è interessante
Paolo (non) legge nessun romanzo
...i termini tra parentesi non sono da analizzare!
Ovviamente c'è anche la teoria!!!!

Qualcuno riesce a postare la soluzione dell'esame che magari riesco a capire un po' di più?
Grazie!
Ciao a tutti!!!!!