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 
 

Logika