.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- [Logica - Ghilardi] Appello 27 Febbraio 2007 (http://www.dsy.it/forum/showthread.php?threadid=29535)

[Logica - Ghilardi] Appello 27 Febbraio 2007

Ciao,
allora come stiamo messi per l'esame del 27 Febbraio? Come vedi Fabry ti ho anticipato nell'aprire il thread Pronto per l'attacco a Prolog? Cmq possiamo per ora stare tranquilli visto che abbiamo ancora un po' di tempo.

Ricordo a tutti che ho messo le soluzioni degli esami del 2006 nell'area Filez

Grande WebSpid, prontissimo all'attacco al Prolog, oramai e fino al 27 vivo e respiro e poi godro' di brutto solo per vincere contro il Prolog

Ma ti rendi conto di quanto siamo avanti??? non abbiamo mai seguito il corso, e da quando siamo arrivati noi la sezione filez e piena di nostri Post con le soluzioni Ma sai che mazzo mi sono fatto per prepararmi a questo esame senza un esercizio postato?? siamo troppo avanti

Ciao a tutti!
riguardo alle soluzioni nell'area filez, è possibile che gli esercizi ammettano soluzioni differenti?
Ad esempio l'esercizio sulla Ricerca del Contromodello a seconda del ramo che non chiude che uno segue da soluzioni differenti!
Sono cmq tutte soluzioni corrette o c'è un criterio di scelta per individuare il cammino che porta alla soluzione milgiore?
Rispondete vi prego!!!

Ciao Simone,
allora... per il contromodello c'è differenza a seconda che termini finito o infinito.
Se termina infinito, ci possono essere varie soluzioni, ma devi cercare di trovare una regola usando magari le formule vere già a disposizione.
Se termina finito, a mio parere, c'è solo un cammino possibile per come vengono impostati gli esercizi chiaramente.
Ciao

Non è per contraddirti, ma secondo me no. Se ad es. tu ai un implicazione (tipo A -> B) vera, questa si divide in due parti, e a seconda del ramo che segui il risultato finale sarà diverso!
Ad es. nel contromodello dell'appello di Settembre 2006 per 3 volte che l'ho rifatto, ottengo 3 soluzioni differenti!!E ricontrollando sono convinto che siano tutte e 3 giuste, dato che le regole sono state applicate correttamente!
Può essere secondo te?

Mmm Simone, da questo deduco che non sei molto peparato a sto compito
Guarda bene... ricordati che devi sviluppare i quantificatori per tutte le soluzioni ed il ramo non deve chiudere!
Dal basso della mia soluzione...
2° passaggio) se prendessi ExP(x) vera, si annullerebbe con quella falsa!
5° passaggio) se prendessi ExQ(x) vera, avrei ad un certo punto Q(a) vera e falsa!
Studia bene la teroia prima di capire gli esercizi
Ciao

Originally posted by WebSpid
Studia bene la teroia prima di capire gli esercizi

Appunto, quindi quell'esercizio ha solo un cammino che non chiude.
Io ho scritto che in teoria ci sono più cammini, ma in pratica, per come sono impostati gli esercizi, di solito, se è finito, ne trovi uno solo possibile.
Quello che mi rende perplesso, è che la teoria dice quello che dico io, ma tu continui ad asserire che hai fatto giusto quell'esercizio con più soluzioni, quando la matematica, si sà, non è un opinione
Comunque ricordati, e secondo me qua hai sbagliato, che devi sviluppare per tutti gli elementi del dominio senza che il ramo chiuda.

ok!adesso provo a rifarlo...
al max ti posto le mie scelte...se poi riesco quando torno a casa ti posto il mio esempio...ammesso che rifacendolo nn venga uguale al tuo....
Tengo però a dirti che hai perfettamente ragione, perchè anche se la teoria dice che basta seguire un ramo solo, nella pratica il ramo da seguire è spesso obbligato...
quello che appunto mi affligge è il tema di settembre, che secondo me ha più di un ramo che può cmq andar bene...
ora provo....aspetta in linea...

OK, applicando tutte le regole possibili, ottengo i tuoi stessi passi, tranne all'ultimo passaggio, dove c'è un errore.
Hai un esistenziale alla destra del "feccione" e quindi devi sostituire la sua x con un NUVO simbolo (d in questo caso) e non con simboli già usati come hai fatto tu.
La soluzione è quindi:
A = {a,b,c,d}
I(R) = {<d,d>}
Controlla anche tu per vedere se non ho fatto cavolate, ma sta volta sono abbastanza sicuro...

Mi quoto da solo perchè errore mio!!!Ho scritto:

Originally posted by Simone_155
Hai un esistenziale alla destra del "feccione" [/B]

In bocca al lupo a tutti per domani!!! lol

DW

__________________
La vita è dolore!