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
