.dsy:it. - Dubbio tableaux

Calendar

Members

Faq

Logout

.dsy:it. : Powered by vBulletin version 2.3.1

.dsy:it. > Didattica > Corsi G - M > Logica matematica > Dubbio tableaux

Last Thread Next Thread

Author

Thread Expand all | Contract all

alex986best

.simpatizzante.

User info:

Registered: Nov 2006
Posts: 13 (0.00 al dì)
Location: Milano
Corso: Informatica per le Telecomunicazioni
Anno: 2
Time Online: 7:05:49 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Dubbio tableaux

Qualcuno saprebbe gentilmente spiegarmi come si sostituisce un termine f(x) all'interno di un quantificatore universale nella procedura del calcolo dei tableaux?

Negli esercizi che ho visto capita spesso che all'interno di uno stesso enunciato in alcune formule x valga a mentre in altre la stessa x valga f(a).

Spero di essere stato abbastanza chiaro.

Grazie

10-05-2008 15:28

Click here to Send alex986best a Private Message

Simeon

User info:

Registered: Aug 2004
Posts: 984 (0.13 al dì)
Location: Milano
Corso: Informatica
Anno: IT IS OVER!
Time Online: 14 Days, 19:29:42 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Non penso d'aver capito bene, pero' nelle formule universali bisogna istanziare x per tutti i termini che son presenti nel ramo, per cui se ci sono sia a che f(a) devi istanziare due volte ciascuna formula col quantificatore universale (ed e' per questo che x assume due valori).

Non si ha bisogno di fare tutte le istanziazioni possibili se tutti i rami chiudono, per cui se ci si accorge che con una particolare sostituzione si riesce a far chiudere subito e' meglio.

Correggetemi se sbaglio.

10-05-2008 19:09

Click here to Send Simeon a Private Message

alex986best

.simpatizzante.

Post actions:

Edit | Report | IP: Logged

forse con un caso pratico ci capiamo meglio:

VxR(x, f(a)) , Vy notR(g(y), y)

In questo caso che valore daresti ad x e ad y?

Grazie

10-05-2008 19:38

Simeon

User info:

Registered: Aug 2004
Posts: 984 (0.13 al dì)
Location: Milano
Corso: Informatica
Anno: IT IS OVER!
Time Online: 14 Days, 19:29:42 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Originally posted by alex986best
forse con un caso pratico ci capiamo meglio:

VxR(x, f(a)) , Vy notR(g(y), y)

In questo caso che valore daresti ad x e ad y?

Grazie

Se f(a) e' l'unico termine darei loro solo il valore f(a).

10-05-2008 19:43

alex986best

.simpatizzante.

Post actions:

Edit | Report | IP: Logged

Originally posted by Simeon
Se f(a) e' l'unico termine darei loro solo il valore f(a).

ok, però la prof ha fatto y=f(a) x=g(f(a))

Sai dirmi perchè?

10-05-2008 19:49

Simeon

User info:

Registered: Aug 2004
Posts: 984 (0.13 al dì)
Location: Milano
Corso: Informatica
Anno: IT IS OVER!
Time Online: 14 Days, 19:29:42 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Originally posted by alex986best
ok, però la prof ha fatto y=f(a) x=g(f(a))

Sai dirmi perchè?

Perche se sostituisci f(a) in Vy(...) hai un nuovo termine g(f(a)) che in questo caso e' stato sostituito in Vx(...) (il perche' lo ignoro, magari in questa maniera si risolveva subito l'esercizio... dovrei vederlo tutto).

10-05-2008 19:55