.dsy:it. (http://www.dsy.it/forum/)
- Filosofia del linguaggio (http://www.dsy.it/forum/forumdisplay.php?forumid=78)
-- Articolo IL (http://www.dsy.it/forum/showthread.php?threadid=24230)

Articolo IL

Cari amici, sono un attimo bloccato sull'articolo IL e la sua trasformazione in formula.
Mi ricordo che era una roba lunghissima e purtroppo non saprei dove recuperare il materiale.
Sapete aiutarmi?
Vi ringrazio in anticipo.

__________________
Blow[mono/CASUAL]*lab®

http://www.tobler.tk

prendila con le pinze...
io lo sto interpretando cosi...

es : la mamma

Ez ( {lam. x ¦ mamma(x)} =(z) ^ Q (z) )

ho trovato cosi in alcuni exx sperando che siano giusti..bho!

__________________
E un' altra volta è notte e suono,non so nemmeno io per che motivo, forse perchè son vivo e voglio in questo modo dire "sono" o forse perchè è un modo pure questo per non andare a letto
o forse perchè ancora c'è da bere
e mi riempio il bicchiere..

di preciso quando devo analizzarlo e quando invece posso tralasciarlo??
cacchio piu vo avanti piu dubbi saltan fuori... mi sa che ora vado a farmi un giro!

__________________
E un' altra volta è notte e suono,non so nemmeno io per che motivo, forse perchè son vivo e voglio in questo modo dire "sono" o forse perchè è un modo pure questo per non andare a letto
o forse perchè ancora c'è da bere
e mi riempio il bicchiere..

Un articolo determinativo individua una descrizione definita, ossia un preciso elemento in un insieme.

La sua traduzione è

{lambda-P lambda-Q | Ez(perOgni-y (P(y) <-> y=z) ^ Q(z))}

di preciso quando devo analizzarlo e quando invece posso tralasciarlo??

__________________
?

Ahaaaa io stasera mi alcolizzo!

__________________
Blow[mono/CASUAL]*lab®

http://www.tobler.tk

Grandissimo Yeah, era quella la formula che indendevo. Ma poi come si procede con la lambda conversione? Mi preoccupa soprattutto quella doppia freccia...

__________________
Blow[mono/CASUAL]*lab®

http://www.tobler.tk