View Single Post
Old 02-07-2006, 14:50   #137
]DaLcA[
Senior Member
 
L'Avatar di ]DaLcA[
 
Iscritto dal: Jun 2004
Città: Isola di Toscana in Lombardia
Messaggi: 657
Forma di Skolem nella logica del I ordine

Ciao a tutti, ho un dubbio dell'ultim'ora

Ad una esercitazione del corso di Algebra e Logica Matematica, subito prima di effettuare la skolemizzazione su una formula della logica del I ordine (quindi dopo averla scritta in forma normale prenessa), l'esercitatrice ha detto che bisogna fare la chiusura universale.

Ecco, il problema è che né il professore né su appunti vari da Internet c'è traccia del fatto di doverla prima chiudere universalmente

Chi ha ragione?

Grazie in anticipo per la risposta
]DaLcA[ è offline   Rispondi citando il messaggio o parte di esso