.dsy:it. - Dubbio ricerca dimostrazione/contromodello

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

Dubbio ricerca dimostrazione/contromodello

Posted by - Marte - on 14-05-2010 12:12

aiuto, ho un dubbio che magari qualcuno sa dissipare riguardo l'applicazione delle regole (and, or, esiste, per ogni) nella ricerca di dimostrazione/contromodello.

per la precisione quando applico la terza regola [esiste] sostituisco una costante nuova alla variabile vincolata.

poi, dopo uno o più passaggi, se applico la quarta regola [per ogni] alla stessa variabile a cui ho precedentemente sostituito con una costante (con la regola dell'esiste) devo per forza sostituirla con la stessa costante o basta un qualsiasi termine ground?

ciao!