next up previous contents
Next: Võre (lattice) Up: No Title Previous: Valemi konjunktiivne normaalkuju (conjunctive

Valemite realiseeritavus (realisation of formula)

- võimalus vahetult näidata indiviidi, mille korral valem on kehtestatav. Valemit realiseerivale indiviidile vahetu osutamise asemel võib realisatsiooni esitada ka konstruktsiooni (algoritmi) kaudu, mis viib soovitud realiseeriva indiviidini.



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