Skolem-vorm

Betekenis Skolem-vorm

De betekenis van Skolem-vorm is: "formule die resteert door het elimineren van alle existentiële quantoren en door voor de variabele een referentie te substitueren die de gewenste waarde produceert
".

Defenitie Skolem-vorm

De definitie van Skolem-vorm is: "formule die resteert door het elimineren van alle existentiële quantoren en door voor de variabele een referentie te substitueren die de gewenste waarde produceert
".