Quote:
|
Originariamente inviato da Ziosilvio
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.
|
In effetti non mi sono spiegato molto bene
Se prima di effettuare la skolemizzazione di una formula posta in forma normale prenessa (FNP) si effettua la chiusura universale sulla FNP, la forma di Skolem uscirebbe nettamente differente dal trasformare in forma di Skolem la FNP senza i quantificatori universali davanti perché, ad esempio, si introdurrebbero lettere funzionali che senza la chiusura universale non avrebbero bisogno di esserci.
Spero che così sia più chiaro
