individuová proměnná
Matematika
Individuová proměnná je v predikátovém počtu proměnná, za niž lze substituovat individuové konstanty (jména).
Vytvořeno:
23. 1. 2007
Aktualizováno:
23. 1. 2007
Autor: -red-