.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- [Logica per le applicazioni] Skolemizzazione (http://www.dsy.it/forum/showthread.php?threadid=33865)

[Logica per le applicazioni] Skolemizzazione

Ciao,
nel processo di skolemizzazione si rende necessario eliminare i quantificatori esistenziali e questo è reso possibile attraverso l'inserimento di un nuovo simbolo funzionale.

Le slide del prof riportano:
[...]
"Ampliamo il linguaggio con l'aggiunta di un nuovo simbolo funzionale f di airetà n (f è una costante, se n=0)"
[...]

e successivamente opera la formula.
Non riesco a capire da dove arrivi questo nuovo simbolo funzionale e sopratutto quale sia la sua arietà.

Qualcuno l'ha capito?
Grazie

non ho le dispense sottomano ma:
il simbolo di funzione lo inventi tu, deve essere nuovo, cioè deve esserce uno per ogni variabile toccata da un quantificatore esistenziale.
l'arietà del simbolo dipende dal numero di quantificatori universali che precedono il quantificatore esistenziale (n perogni = arietà n del simbolo).
spero di non aver detto cappellate perchè non ho le dispense ora, sono le 2.30 di sabato e sono sbronzo

bai

__________________
Nessuno è troppo giovane per avere flashback dal Vietnam

Ogni generazione ha l'eroe che si merita

Ottimo grazie,
non mi era mai capitato che una persona sbronza mi risolvesse un problema di logica ... devo decisamente smetterla di sottovalutare l'alcool!!!

Grazie mille

Originally posted by Nvideo
Ottimo grazie,
non mi era mai capitato che una persona sbronza mi risolvesse un problema di logica ... devo decisamente smetterla di sottovalutare l'alcool!!!

Grazie mille

__________________
Nessuno è troppo giovane per avere flashback dal Vietnam

Ogni generazione ha l'eroe che si merita

a dire la verità sono arrivato un pò corto con lo studio...sto tentando di finire la traccia A. Appena finita vedrò di scegliere una delle tre ...