.dsy:it. - Blog - Skolem

Calendar

Members

Faq

Logout

.dsy:it. : Powered by vBulletin version 2.3.0

.dsy:it. > Blog > bimbamel's Blog > Comments

Commento di holylaw

14-01-2005 19:23

calma calma..... da una forma normale prenessa e' facile:
basta sostituire ogni variabile con quantificatore esistenziale con una funzione con argomenti le variabili con quantificatore universale PRIMA del quantificatore esistenziale preso in considerazione...
ovviamente se il primo quantificatore e' un esistenziale basta sostituire la variabile con una costante...

spero si sia capito qualcosa

Commento di bimbamel

14-01-2005 19:29

»	ora lo rileggo con super calmissima per capire... cmq grazie

Commento di holylaw

14-01-2005 19:31

»	esempio banale: ExUyUzEw(P(x, y) and Q(z, w) Skolemizzata viene: UyUz(P(a, y) and Q(z, f(y, z))

Commento di 0m4r

15-01-2005 12:48

»	skolemizzare non è quel procedimento per cui si portano all'esterno tutti i quantificatori??

Commento di holylaw

15-01-2005 18:34

»	nono quella e' la forma normale prenessa.. skolemizzare vuol dire eliminare tutti i quantificatori esistenziali

Commento di bimbamel

15-01-2005 19:04

»	Faccio ancora fatica a farli... :o(

Commento di holylaw

15-01-2005 19:12

»	susu un po' di esercizio e vedi che prima o poi ti verrano... spero hai qualche problema in particolare?

Commento di bimbamel

17-01-2005 23:31

»	...diciamo che faccio molta fatica!!! Però forse forse ci sono arrivata... Mille grazie davvero

Commento di 0m4r

19-01-2005 11:01

»	forma normale prenessa.. come ho potuto confondermi. Chiedo perdono al Signor sKolem...e che SPASS non mi punisca per questo...

<< Back to bimbamel's Blog

Pagina generata in 0.020 seconds (42.19% PHP - 57.81% MySQL) con 29 query.