.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- [LOGICA MATEMATICA] Skolemizzazione (http://www.dsy.it/forum/showthread.php?threadid=30924)

[LOGICA MATEMATICA] Skolemizzazione

Ciao a tutti,
volevo giusto sapere se la skolemizzazione la chiede ancora.
Studiando le dispense del prof nn trovo nulla ne su skolemizzazione ne su unificazione (forse riguarda il prolog?)

no nel primo compitino nn c'era ne skolemizzazione nè unificazione

solo dimostrazione , contromodello , dpll e le 3 domandine solite

scusate, ma dall'assenza di skolemizzazione ed unificazione si deduce che non ci sono nè mai ci saranno nei compitini?
io non ho seguito e non capisco sinceramente dove dovrei cercare per saperle..

__________________
In Blues We Trust