individuová konstanta
individuová konstanta, individuální konstanta - jméno nebo výraz, který označuje nějaké individuum a který lze dosadit za individuovou proměnnou. Analogicky individuová proměnná je v predikátovém počtu proměnná, za niž lze substituovat i. k. (jména).
