„Logikai grammatika” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a →Operációk: 1 link korr. |
Vépi (vitalap | szerkesztései) →Funktorok: Lúdas Matyi helyesen idézve |
||
30. sor:
'''1''') Abban a (zárt) mondatban, hogy
::'Háromszor veri ezt kenden
a 'Lúdas Matyi' individuumnevet elhagyva a
::'Háromszor veri ezt kenden
funktort kapjuk, ahol '…' jelzi az üres helyet (melybe egy individuumnevet írhatunk).
44. sor:
'''3''') A funktorokban több kitöltetlen hely is szerepelhet:
::'… <sub>(1)</sub>szor veri ezt kenden
ahol '… <sub>(1)</sub>' és '… <sub>(2)</sub>' helyébe egy-egy (nem feltétlenül azonos) individuumnevet írhatunk ('… <sub>(1)</sub>' helyére illendő ezesetben természetes számot írni).
'''4''') A funktorokban lehet egy-egy kitöltetlen helynek több szereplése, például (önostorozóknál):
::'… <sub>(1)</sub>szor veri ezt … <sub>(2)</sub>-on vissza … <sub>(2)</sub>'
amit kitöltve ilyen mondatokat kaphatunk 'Háromszor veri ezt Lúdas Matyin
=== Funktorok jellemzői ===
|