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