Skolmization 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
Skolmization 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.