Menotvorný operátor

Menotvorný operátor je výraz, pomocou ktorého sa tvorí meno. Menotvorné operátory sa zavádzajú pre účely logickej analýzy, s cieľom symbolizovať výrazy prirodzených jazykov, napr. jota-operátor tvorí z výrokovej funkcie (presnejšie z jej jazykovej formy) individuálne meno, opis.