1
GATE CSE 2010
MCQ (Single Correct Answer)
+2
-0.6
Suppose the predicate $$F(x,y,t)$$ is used to represent the statements 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 t\left( {\neg F\left( {x,y,t} \right)} \right)?$$
2
GATE CSE 2009
MCQ (Single Correct Answer)
+2
-0.6
The binary operation ◻ is defined as follows:
Which one of the following is equivalence to $$P \vee Q$$?
3
GATE CSE 2009
MCQ (Single Correct Answer)
+2
-0.6
Consider the following well-formed formulae:
$${\rm I}.$$ $$\,\,\neg \forall x\left( {P\left( x \right)} \right)$$
$${\rm I}{\rm I}.\,\,\,\,\,\,\neg \exists x\left( {P\left( x \right)} \right)$$
$${\rm I}{\rm I}{\rm I}.\,\,\,\,\,\,\neg \exists x\left( {\neg P\left( x \right)} \right)$$
$${\rm I}V.\,\,\,\,\,\,\exists x\left( {\neg P\left( x \right)} \right)$$
Which of the above are equivalent?
4
GATE CSE 2009
MCQ (Single Correct Answer)
+2
-0.6
Which one of the following is the most appropriate logical formula to represent the statement:
"$$Gold\,and\,silver\,ornaments\,are\,precious$$"
The following notations are used:
$$G\left( x \right):\,\,x$$ is a gold ornament.
$$S\left( x \right):\,\,x$$ is a silver ornament.
$$P\left( x \right):\,\,x$$ is precious.
GATE CSE Subjects
Browse all chapters by subject
Theory of Computation
Operating Systems
Algorithms
Database Management System
Data Structures
Computer Networks
Software Engineering
Compiler Design
Web Technologies
General Aptitude
Discrete Mathematics
Programming Languages