A directory of Objective Type Questions covering all the Computer Science subjects. Here you can access and discuss Multiple choice questions and answers for various compitative exams and interviews.

Discussion Forum

Que. 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:removing all the existential quantifiers
Confused About the Answer? Ask for Details Here
Know Explanation? Add it Here

Similar Questions: