Skolemizzazione
Posted by Simone_155 on 18-02-2007 17:14
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...
Powered by: vbHome (lite) v3.8 and vBulletin v2.3.1
Copyright © 2000 - 2002 Jelsoft Enterprises Limited