individuová proměnná

Individuová proměnná je v predikátovém počtu proměnná, za niž lze substituovat individuové konstanty (jména).

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

Reklama: