next up previous contents
Next: Süllogism (syllogism) Up: No Title Previous: Skolemi funktsioond (Skolem function

Skolemiseerimine (Skolemization)

- kvantorite modelleerimine spetsiaalsete funktsioonidega (Skolemi funktsioonidega).



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