next up previous contents
Next: Unifikaator (unifier) Up: No Title Previous: Tuletusreegel (rule of inference

Tõene valem (true formula)

- 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