Quote:
|
Originariamente inviato da ]DaLcA[
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? |
Non ho capito benissimo la domanda, ma credo che abbiano ragione entrambi.
Dopotutto, una formula del primo ordine e la sua chiusura universale sono equidimostrabili ed equisoddisfacibili.