The Gateway to Computer Science Excellence
+1 vote

Skolmization is the process of

  1. bringing all the quantifiers in the beginning of a formula in FDL
  2. removing all the universal quantifiers
  3. removing all the extential quantifiers
  4. all of the above
in Discrete Mathematics by
recategorized by | 703 views

1 Answer

+1 vote

ans is C) skolemization is the process of Removing all the existential quantifiers 

It is one of the steps in conversion  of first order logic sentences into its eqvt  CNF(conjuctive normal form)

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
52,345 questions
60,513 answers
95,357 users