View Single Post
Old 03-07-2006, 17:17   #138
Ziosilvio
Moderatore
 
L'Avatar di Ziosilvio
 
Iscritto dal: Nov 2003
Messaggi: 15835
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.
__________________
Ubuntu un'antica parola africana che significa "non so configurare Debian" Chi scherza col fuoco si brucia.
Scienza e tecnica: Matematica - Fisica - Chimica - Informatica - Software scientifico - Consulti medici
REGOLAMENTO DarthMaul = Asus FX505 Ryzen 7 3700U 8GB GeForce GTX 1650 Win10+Linux Mint 19
Ziosilvio  offline   Rispondi citando il messaggio o parte di esso