Next: Signatuur (signature)
Up: No Title
Previous: Sekventssekventsioon (sequent)
- muutja, mille järgi vaadeldavas avaldises sooritatakse teatav operatsioon, näiteks x on seotud muutuja valemites 
Toodud näidetes on y vaba muutuja
Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996