Line 1: Line 1:
Suppose the predicate F(x, y, t) is used to represent the statement that person x
+
Suppose the predicate $F(x, y, t)$ is used to represent the statement that person $x$
can fool person y at time t. which one of the statements below expresses best
+
can fool person $y$ at time $t$. which one of the statements below expresses best
the meaning of the formula ∀x∃y∃(¬F(x,y,t))?
+
the meaning of the formula $\forall x \exists y \exists(\not;F(x,y,t))$?
  
  
Line 14: Line 14:
 
==={{Template:Author|Happy Mittal|{{mittalweb}} }}===
 
==={{Template:Author|Happy Mittal|{{mittalweb}} }}===
 
 
The formula  $\forall x \exist y \exist (\not F(x,y,t))$ says that for every person $x$, there exists a person $y$, and there
+
The formula  $\forall x \exists y \exists (\not F(x,y,t))$ says that for every person $x$, there exists a person $y$, and there
 
exists a time $t$, such that $x$ cannot fool $y$ at time t i.e. No person can fool everyone all the time. So option <b>(B)</b> is correct.
 
exists a time $t$, such that $x$ cannot fool $y$ at time t i.e. No person can fool everyone all the time. So option <b>(B)</b> is correct.
 
 

Revision as of 12:20, 29 June 2014

Suppose the predicate $F(x, y, t)$ is used to represent the statement that person $x$ can fool person $y$ at time $t$. which one of the statements below expresses best the meaning of the formula $\forall x \exists y \exists(\not;F(x,y,t))$?


(A) Everyone can fool some person at some time

(B) No one can fool everyone all the time

(C) Everyone cannot fool some person all the time

(D) No one can fool some person at some time

Solution by Happy Mittal

The formula $\forall x \exists y \exists (\not F(x,y,t))$ says that for every person $x$, there exists a person $y$, and there exists a time $t$, such that $x$ cannot fool $y$ at time t i.e. No person can fool everyone all the time. So option (B) is correct.




blog comments powered by Disqus



This work is licensed under the CC By-SA 3.0 , without all the cruft that would otherwise be put at the bottom of the page.

Sister Sites: GATE CSE Wiki, GATE CSE, Aptitude Overflow