4 675
szerkesztés
Mozo (vitalap | szerkesztései) a (→Példák) |
Mozo (vitalap | szerkesztései) |
||
Példák:
:'... <sub>(1)</sub> akkor és csak akkor, ha ... <sub>(2)</sub>'
:'Misi azt gondolja, hogy ... '
:'Lehetséges, hogy ha ... <sub>(1)</sub>, akkor ... <sub>(2)</sub>'
* '''Predikátumok''' - olyan funktorok, melyeknek minden változója névváltozó és ezeket kitöltve mondatokat kapunk.
Példák:
:'... ló' vagy behelyettesítve: 'Alamuszi [egy] ló'
:'... <sub>(1)</sub> átkelt a ... <sub>(2)</sub> folyón'
* '''Névfunktorok''' - olyan funktorok, melyeknek minden változója névváltozó és ezeket kitöltve nevet kapunk.
Példák:
:'... apósa'
:'... <sub>(1)</sub> és ... <sub>(2)</sub> első gyermeke'
Ezeken kívül természetesen még vannak más típusú funktorok is, sőt
|