| V I S U A L I Z Z A D I S C U S S I O N E |
| Salsero |
Inserito il - 15/12/2009 : 11:53:00
Scusate, volevo chiedere come si fà a dimostrare che una formula f, è derivabile... Ho visto sui miei appunti, ma ho trovato che la dimostrazione si fà verificando che sia valida, ma come??? |
| 2 U L T I M E R I S P O S T E (in alto le più recenti) |
| Salsero |
Inserito il - 24/12/2009 : 10:58:53
No quest'anno non ha spiegato il tableaux... Vorrei sapere, nel momento in cui svolgo l'esercizio, come devo dimostrare che la formula ha una derivazione?
Mi trovo nel punto :
Esiste(x) Not(A(x)) OR PerOgni(y) Not(B(y)) OR PerOgni(x) A(x) OR Esiste(y) B(y).
cosa devo applicare qui x dimostrare l'esistenza della derivazione??
Il metodo di risoluzione?? devo eliminare i quantificatori?? e come?? |
| Gabri |
Inserito il - 15/12/2009 : 19:47:32
Citazione:
Messaggio inserito da Salsero
Scusate, volevo chiedere come si fà a dimostrare che una formula f, è derivabile... Ho visto sui miei appunti, ma ho trovato che la dimostrazione si fà verificando che sia valida, ma come???
se è possibile costruire un tablaux chiuso... se non mi ricordo male! |
|
|
