Jota-operátor

Z Wikipédie

Jota-operátor je menotvorný operátor, ktorý tvorí jazykovej formy výrokovej funkcie meno, opis, určitého jednotlivého indivídua. Ako symbol sa používa grécke písmeno jota, za ktorým nasleduje individuová premenná: \,x (čítame: to x, ktoré), napr.

(\,x) x je autorom Fausta

čo čítame: ten, kto je autorom 'Fausta alebo jednoducho autor 'Fausta (cf ).

[úprava] Externé odkazy

  • FILIT Zdroj, z ktorého pôvodne čerpal tento článok

Tento článok potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.


[úprava] Pozri aj