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 


Kategória:Logika