next up previous contents
Next: Skolemiseerimine (Skolemization) Up: No Title Previous: Signatuur (signature)

Skolemi funktsioond (Skolem function symbols)

- Esimest järku predikaatarvutuse valemites kvantoreid asendavad funktsionaalsümbolid.



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