| V I S U A L I Z Z A D I S C U S S I O N E |
| Ceptive |
Inserito il - 27/01/2010 : 10:18:25
Salve ragazzi,
Mi chiedevo se qualche anima pia potrebbe postara la soluzione a questo esercizio:
Dimostrare se è derivabile la seguente formula, in caso contrario costruire un controesempio
perogni X esiste Y A(x,y) -> perogni Y esiste X A(y,x)
Ho visto sul sito del prof la soluzione ma non ho capito bene gli ultimi passaggi..
E poi, come si costruisce il controesempio?
Grazie |
| 3 U L T I M E R I S P O S T E (in alto le più recenti) |
| M]i[K |
Inserito il - 27/01/2010 : 11:42:05
Citazione:
Messaggio inserito da Ceptive
Grazie Mik,
hai confermato le mie ipotesi dunque. 
( peccato per la juventus :( nn mi ci far pensare!!! )
prego |
| Ceptive |
Inserito il - 27/01/2010 : 11:28:52
Grazie Mik,
hai confermato le mie ipotesi dunque.
( peccato per la juventus :( nn mi ci far pensare!!! ) |
| M]i[K |
Inserito il - 27/01/2010 : 11:12:29
Citazione:
Messaggio inserito da Ceptive
Salve ragazzi,
Mi chiedevo se qualche anima pia potrebbe postara la soluzione a questo esercizio:
Dimostrare se è derivabile la seguente formula, in caso contrario costruire un controesempio
perogni X esiste Y A(x,y) -> perogni Y esiste X A(y,x)
Ho visto sul sito del prof la soluzione ma non ho capito bene gli ultimi passaggi..
E poi, come si costruisce il controesempio?
Grazie
Te la posto a parole:
per dimostrare che la formula sia derivabile o meno, devi verificare svolgendo i passaggi che fà il prof (eliminazione connettivi, atomi negati,forna normale prenessa,skolemizzazione,forma di clasusa,ecc.. ), se ottieni una clausola vuota [ ] alla fine dello svolgimento. In tal caso la funzione è derivabile.
Nel caso applicando la risoluzione sulle clausole non ottenessi una clausola vuota [ ], allora devi usare il calcolo dei sequenti di Gentzen, utilizzando il metodo del controesempio, e sfruttando opportunamente le formule per l'eliminazione dei connettivi sul lato SX ed DX della tua formula di partenza(pdf enunciati, slide 70), per poi successivamente sfruttare le regole sui quantificatori di gentzen.
Alla fine della giostra se la formula non risulta essere un assioma, hai trovato un controesempio.
..Se potessi applicare la risoluzione anche alla Juventus, alle mie clausole un pò idiote ed incompetenti C1=Blanc C2=Not Blanc , C3=Secco , C4=Not Secco , otterrei subito una clausola vuota per res[C1,C2] e res[C3,C4], e questo in effetti corrisponderebbe al risultato che stanno ottenendo da 3 anni a questa parte..il vuoto!
Cosi applicherei la logica al calcio |
|
|
