The Gateway to Computer Science Excellence
+1 vote
534 views

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 Veteran (105k points)
recategorized by | 534 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)

by Boss (48.8k points)

Related questions

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
50,644 questions
56,523 answers
195,608 comments
101,286 users