Jota-operátor

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.

 Externé odkazy 


Kategória:Logika