Nvideo

User info:

Registered: Jan 2005
Posts: 23 (0.00 al dì)
Location: milano
Corso: TICOM
Anno: 1°
Time Online: 12:34:26 [...]
Status: Offline

Post actions:

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

c3ru

!ElaborA!

User info:

Registered: Oct 2003
Posts: 1678 (0.21 al dì)
Location: BG
Corso: Info Mag
Anno: 1°
Time Online: 35 Days, 19:30:22 [...]
Status: Offline

Post actions:

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

Last edited by c3ru on 17-02-2008 at 01:31

Nvideo

User info:

Registered: Jan 2005
Posts: 23 (0.00 al dì)
Location: milano
Corso: TICOM
Anno: 1°
Time Online: 12:34:26 [...]
Status: Offline

Post actions:

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

c3ru

!ElaborA!

User info:

Registered: Oct 2003
Posts: 1678 (0.21 al dì)
Location: BG
Corso: Info Mag
Anno: 1°
Time Online: 35 Days, 19:30:22 [...]
Status: Offline

Post actions:

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

eh si alla fine ho anche detto giusto

ma tu fai la parte delle logiche descrittive?
ti funziona l'esempio con spass che ho postato in un altro thread?

__________________
Nessuno è troppo giovane per avere flashback dal Vietnam

Ogni generazione ha l'eroe che si merita

Nvideo

User info:

Registered: Jan 2005
Posts: 23 (0.00 al dì)
Location: milano
Corso: TICOM
Anno: 1°
Time Online: 12:34:26 [...]
Status: Offline

Post actions:

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 ...