Indivíduová konštanta
Z Wikipédie
Konštanta indivíduová
konštanta indivíduová je jednoduchý výraz alebo znak formalizovaného jazyka stanovený na trvalé označenie určitého indivídua z univerza úvahy, čím plní rovnakú úlohu ako vlastné meno v prirodzenom jazyku.
[úprava] Externé odkazy
- FILIT Zdroj, z ktorého pôvodne čerpal tento článok