The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
+20 votes

Consider the statement

 "Not all that glitters is gold”

Predicate glitters$(x)$ is true if $x$ glitters and predicate gold$(x)$ is true if $x$ is gold.  Which one of the following logical formulae represents the above statement?

  1. $\forall x: glitters (x)\Rightarrow \neg gold(x)$
  2. $\forall x: gold (x)\Rightarrow glitters(x)$
  3. $\exists x: gold(x)\wedge \neg glitters(x)$
  4. $\exists x: glitters(x)\wedge \neg gold(x)$
asked in Mathematical Logic by Boss (16.1k points)
edited by | 1.4k views
option B is not true because it says that " All gold glitters " which cannot be extracted from "Not all that glitters is gold"

we can only extract from this statement is "Some that glitters is not gold  "
We don't know about the gold that all of it glitters or not

Understand the Difference between this & this.

If it says "None of that glitters is gold" then $\sim (\forall x(glitters(x)\rightarrow Gold(x)))$ will not work because this is saying some of that glitters is not gold (or) all of that glitters is not gold,  not None of that glitters is gold.

4 Answers

+12 votes
Best answer

"Not all that glitters is gold”  can be expressed as : 

$\neg(\forall x(glitters(x)\implies gold(x)))$ 

(as restriction of universal quantification is same as universal quantification of a conditional statement.)

"Not all that glitters is gold" means "some glitters are not gold" which can be expressed as 

 $\exists x(glitters(x)\wedge  \neg gold(x))$

(as restriction of an existential quantification is same as existential quantification of a conjunction.)

So option (D) is correct. 

answered by Boss (15.5k points)
edited by

 "Not all that glitters is gold” 


i guess according to ur diagram , option b also becomes true!!!

for any metal,if it is gold=> it glitters

+10 votes

Option D is correct .
              "Not all that glitters is gold
can be expressed as :


⇒$ ∃x\neg(glitters(x)⇒gold(x))$

⇒$∃x(\neg(\neg glitters(x) \vee gold(x))$

⇒$∃x(glitters(x) \wedge \neg gold(x))$

can be expressed as :

         " some glitters are not gold"


answered by Loyal (5.6k points)


u have started from above why don't u use "^" between glitters(x),gold(x))

I think this will help you

“For every person x, if person x is a student in this class then x has studied calculus.”
If S(x) represents the statement that person x is in this class, we see that our statement can be
expressed as ∀x(S(x) → C(x)). [Caution! Our statement cannot be expressed as ∀x(S(x) ∧
C(x)) because this statement says that all people are students in this class and have studied
i have read this statement in kenneth rosen ..but in this question .. we have to think like this that expect gold some other thing can also glitters that why we dont use "AND" here..??

x(glitters(x)^gold(x) I think it's meaning is all things are glitters and it is gold.They said to represent all that glitters is gold

yaar sometimes mathematical logic seems to be difficult ...

+1 vote
answerv is d
answered by (339 points)
0 votes
The statement “Not all that glitters is gold” can be expressed as follows :

¬(∀x(glitters(x)⇒gold(x)) ... (1)

Where ∀x(glitters(x)⇒gold(x) refers that all glitters is gold. Now ,

∃x¬(glitters(x)⇒gold(x)) ... (2) , Since we know ¬∀x() = ∃x¬()

(Where ∀ refers to -> All and ∃x refers to -> There exists some).

As we know, A⇒B is true only in the case that either A is false or B is true. It can also defined in the other way :

A⇒B=¬A∨B (negationA or B ) ... (3)

From equation (2) and (3) , we have ∃x(¬(¬glitters(x)∨gold(x))

⇒∃x(glitters(x)∧¬gold(x)) ... (4) , Negation cancellation ¬(¬) = () : and ¬(()∨()) = (¬()∧¬()) .

So Answer is (D) .
answered by Loyal (9.3k points)
Complex answer ...!!

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
49,811 questions
54,540 answers
75,603 users