search
Log In
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
2 votes
843 views

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

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

is

  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
recategorized by
843 views

3 Answers

3 votes
 
Best answer

~(∀x) F(x)

=(∃x)(~F(x))

So ans is C


selected by
1 vote

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

0 votes

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

~(∀x) F(x)

=(∃x)(~F(x))

Answer:

Related questions

2 votes
3 answers
1
1.5k views
The resolvent of the set of clauses $(A \vee B, \sim A \vee D, C \vee \sim B)$ is $A \vee​ B$ $C \vee​ D$ $A \vee​ C$ $A \vee​ D$
asked Jul 30, 2016 in Mathematical Logic makhdoom ghaya 1.5k views
4 votes
2 answers
2
2k views
Which of the following computing models is not an example of distributed computing environment ? Cloud computing Parallel computing Cluster computing Peer-to-peer computing
asked Aug 2, 2016 in Distributed Computing makhdoom ghaya 2k views
4 votes
2 answers
3
1k views
A Trojan horse is A program that performs a legitimate function that is known to an operating system or its user and also has a hidden component that can be used for nefarious purposes like attacks on message security or impersonation. A piece of ... that spreads to other computer systems by exploiting security holes like weaknesses in facilities for creation of remote processes All of the above
asked Aug 2, 2016 in Web Technologies makhdoom ghaya 1k views
2 votes
1 answer
4
655 views
Which of the following versions of Windows $O.S$. contain built-in partition manager which allows us to shrink and expand pre-defined drives ? Windows Vista Windows $2000$ Windows NT Windows $98$
asked Aug 2, 2016 in Operating System makhdoom ghaya 655 views
...