next up previous contents
Next: Üldisim unifikaator (most general Up: No Title Previous: Võre (lattice)

Väär valem (false formula)

- samaselt väär valem - valem, mis temasse kuuluvate vabade muutujate igasuguse väärtustuse korral omandab väärtuse väär.


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