.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- Skolemizzazione (http://www.dsy.it/forum/showthread.php?threadid=29555)

Skolemizzazione

Ciao a tutti!qualcuno mi potrebbe spiegare brevemente come si fa a Skolemizzare un enunciato?sulle dispense non si capisce un bel nulla, e io non ho idea di come si fa (dato che non ho mai frequentato il corso...)
Un grazie a chiunque mi vorrà aiutare...

sull'area filez ci dovrebbe essere un esercizio svolto...ci si mette piu a spiegarli che a farli, sono veramente delle banalità!

DW

__________________
La vita è dolore!