[Logica per le applicazioni] Skolemizzazione
Clicca QUI per vedere il messaggio nel forum |
| Nvideo |
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 |
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 |
| 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!!! :D
Grazie mille |
| c3ru |
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!!! :D
Grazie mille
eh si alla fine ho anche detto giusto :P
ma tu fai la parte delle logiche descrittive?
ti funziona l'esempio con spass che ho postato in un altro thread? |
| Nvideo |
| 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 ... |
|
|
|
