Skolemization is the process of
A. bringing all the quantifiers in the beginning of a formula in FDL.
B. removing all the universal quantifiers.
C. removing all the existential quantifiers.
D. all of the above.
Answer:C
Skolemization is the process of
A. bringing all the quantifiers in the beginning of a formula in FDL. B. removing all the universal quantifiers. C. removing all the existential quantifiers. D. all of the above.