.dsy:it. - [Logica per le applicazioni] Skolemizzazione

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

[Logica per le applicazioni] Skolemizzazione

Posted by Nvideo on 16-02-2008 21:43

Ciao,
nel processo di skolemizzazione si rende necessario eliminare i quantificatori esistenziali e questo è reso possibile attraverso l'inserimento di un nuovo simbolo funzionale.

Le slide del prof riportano:
[...]
"Ampliamo il linguaggio con l'aggiunta di un nuovo simbolo funzionale f di airetà n (f è una costante, se n=0)"
[...]

e successivamente opera la formula.
Non riesco a capire da dove arrivi questo nuovo simbolo funzionale e sopratutto quale sia la sua arietà.

Qualcuno l'ha capito?
Grazie