„Logikai grammatika” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Mozo (vitalap | szerkesztései) |
Mozo (vitalap | szerkesztései) |
||
85. sor:
Most áttekintünk néhány olyan formális manipulációt, mellyel funktorokból újabb funktorok készíthetők.
* '''Helyettesítés''' (vagy kompozíció) - az ''F'' funktor egy ''x'' változójának helyébe (pontosabban a változó által jelölt üres helyre (vagy helyekre)) behelyettesíthetünk egy ''G'' funktort éspedig névkimenetű funktort, ha ''x'' individuumváltozó és mondatkimenetű funktort, ha ''x'' mondatváltozó. Ezt ''(x|G)F''-vel vagy ''F<sup>G/x</sup>''-vel jelöljük.
Megjegyezzük, hogy egy funktornak zárt mondattá vagy névvé kitöltése egy speciális helyettesítés-sorozat, ahol a változók minden szereplésébe egyszerre helyettesítünk egy 0-bemenetű "konstans funktort", azaz egy nevet vagy egy mondatot.
* '''Kvantifikáció''' - Ez egy olyan művelet, amikor egy ''n''-bemenetű és mondatkimenetű funktorból az egyik névváltozójának "lekötésével" egy ''n-1'' bemenetű, mondatkimenetű funktort készítünk. A konkrét művelet többféleképpen is megvalósulhat, van univerzális, egzisztenciális és többféle numerikus kvantifikáció.
|