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