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


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