Ismételt/inverz λ-operáció?
Legyen P(x) predikátum "x ügyes" .
Ekkor a lambda-operációt alkalmazva azt kapjuk, hogy:
(λx)P(x)="ügyesség"
Ez idáig világos, a kérdés az, hogy mi van, ha ebből újabb predikátumot készítenénk és ismételten alkalmaznánk ezt az operációt, vhogy így:
(λx)(((λx)P(x))(x)) = (λx)"x ügyesség" = "ügyességség" ?!?
A másik kérdés, hogy van-e ennek inverze, mondjuk vmi ilyesmi?:
(x/λ)"ügyesség" = "x ügyes"
Jól gondolom vagy hülyeségeket írtam?
válasza:1, λxP(x) nem jelenti azt, hogy ügyesség. A lambda-operátornak nincs jelentése, mondhatni arra való, hogy a lekötöttség tényét jelezzük vele.
2, Operátor csak szabad változót tud lekötni, és akkor az kötötté válik, tehát ugyanarra a változóra másodszor nem alkalmazható. Tehát "(λx)(((λx)P(x))(x))" nem formula, nincs értelme.
3, Az operátor egy szintaktikai elem, nincs inverze; a P(x) -> λxP(x) megfeleltetésnek van: λxP(x) -> P(x), csak ez a megállapítás semmitmondó.
Kapcsolódó kérdések:
Minden jog fenntartva © 2024, www.gyakorikerdesek.hu
GYIK | Szabályzat | Jogi nyilatkozat | Adatvédelem | Cookie beállítások | WebMinute Kft. | Facebook | Kapcsolat: info(kukac)gyakorikerdesek.hu
Ha kifogással szeretne élni valamely tartalommal kapcsolatban, kérjük jelezze e-mailes elérhetőségünkön!