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 individuové konstanty (jména).

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 23. 1. 2007
Autor: -red-

Odkazující hesla: individuová proměnná.

Reklama: