next up previous contents
Next: Kommutatiivne tehe (commutative operator) Up: No Title Previous: Isomorfism (isomorphism)

Kehtestatav valem (satisfiable formula)

- asjaolu, et valemi A jaoks leiduvad algebraline süsteem tex2html_wrap_inline455 ja interpretatsioon tex2html_wrap_inline457 , mis omistavad valemile A tõese väärtuse.



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