Next: Unifikaator (unifier)
Up: No Title
Previous: Tuletusreegel (rule of inference
- ka samaselt tõene valem, tautoloogia - valem, mis temasse kuuluvate vabade muutujate igasuguse väärtustuse korral omandab väärtuse tõene.
Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996