next up previous contents
Next: Valem (formula) Up: No Title Previous: Unifikaator (unifier)

Vaba muutuja ( free variable)

- valemis mitteseotud muutuja, vrdl. seotud muutuja.


Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996