.dsy:it. - Dubbio tableaux

.dsy:it.
//www.dsy.it

Dubbio tableaux

Posted by alex986best on 10-05-2008 15:28

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