next up previous contents
Next: Üldsuskvantor (universal quantifier) Up: No Title Previous: Üldisim unifikaator (most general

Üldkehtestatav valem (valid formula)

- tõene valem.



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