Indivíduová konštanta
Indivíduová konštanta 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.
Externé odkazy
upraviť- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.