Menotvorný operátor
Z Wikipédie
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.
[úprava] Externé odkazy
- FILIT Zdroj, z ktorého pôvodne čerpal tento článok