next up previous contents
Next: Valemi disjunktiivne normaalkuju (disjunctive Up: No Title Previous: Vaba muutuja ( free

Valem (formula)

- märkide järjend, mis on koostataud teatud arvutuse sünatktiliste reeglite järgi ning mis väljendab mingit väidet.



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