The Gateway to Computer Science Excellence
+2 votes

Equivalent logical expression for the Well Formed Formula $(WFF)$,

$\sim(\forall x) F\left[x\right]$


  1. $\forall x (\sim F\left[x\right])$
  2. $\sim (\exists x) F\left[x\right]$
  3. $\exists x (\sim F\left[x\right])​$ 
  4. $\forall x F\left[x\right]$
in Mathematical Logic by Boss (30.7k points)
recategorized by | 633 views

3 Answers

+3 votes
Best answer

~(∀x) F(x)


So ans is C

by Veteran (63k points)
selected by
+1 vote

Negation of all of 'x' is equal to there exist 'x', so C is the answer

by (49 points)
0 votes

When negation is brought before the atom, ∀ is converted to ∃ and vice versa.

~(∀x) F(x)


by Active (1.9k 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,737 questions
57,269 answers
104,776 users