1
GATE CSE 2005
+2
-0.6
What is the first order predicate calculus statement equivalent to the following?
Every teacher is liked by some student
A
$$\forall \left( x \right)\left[ {teacher\left( x \right) \to \exists \left( y \right)\left[ {student\left( y \right) \to likes\left( {y,\,x} \right)} \right]} \right]$$
B
$$\forall \left( x \right)\left[ {teacher\left( x \right) \to \exists \left( y \right)\left[ {student\left( y \right) \wedge likes\left( {y,\,x} \right)} \right]} \right]$$
C
$$\exists \left( y \right)\forall \left( x \right)\left[ {teacher\left( x \right) \to \left[ {student\left( y \right) \wedge likes\left( {y,x} \right)} \right]} \right]$$
D
$$\forall \left( x \right)\left[ {teacher\left( x \right) \wedge \exists \left( y \right)\left[ {student\left( y \right) \to likes\left( {y,\,x} \right)} \right]} \right]$$
2
GATE CSE 2005
+2
-0.6
Let $$P, Q$$ and $$R$$ be three atomic prepositional assertions. Let $$X$$ denotes $$\left( {P \vee Q} \right) \to R$$ and $$Y$$ denote $$\left( {P \to R} \right) \vee \left( {Q \to R} \right)$$.

Which one of the following is a tautology?

A
$$X \equiv Y$$
B
$$X \to Y$$
C
$$Y \to X$$
D
$$\neg Y \to X$$
3
GATE CSE 2005
+2
-0.6
Let $$P(x)$$ and $$Q(x)$$ be arbitrary predicates. Which of the following statement is always TRUE?
A
$$\left( {\forall x\left( {P\left( x \right) \vee Q\left( x \right)} \right)} \right) \Rightarrow \left( {\left( {\forall xP\left( x \right)} \right) \vee \left( {\forall xQ\left( x \right)} \right)} \right)$$
B
$$\left( {\forall x\left( {P\left( x \right) \Rightarrow Q\left( x \right)} \right)} \right) \Rightarrow \left( {\left( {\forall xP\left( x \right)} \right) \Rightarrow \left( {\forall xQ\left( x \right)} \right)} \right)$$
C
$$\left( {\left( {\forall x\left( {P\left( x \right)} \right) \Rightarrow \left( {\forall xQ\left( x \right)} \right)} \right) \Rightarrow \left( {\forall x\left( {P\left( x \right) \Rightarrow Q\left( x \right)} \right)} \right)} \right)$$
D
$$\left( {\left( {\forall x\left( {P\left( x \right)} \right)} \right)} \right) \Leftrightarrow \left( {\forall x\left( {Q\left( x \right)} \right)} \right) \Rightarrow \left( {\forall x\left( {P\left( x \right) \Leftrightarrow Q\left( x \right)} \right)} \right)$$
4
GATE CSE 2004
+2
-0.6
The following propositional statement is $$\left( {P \to \left( {Q \vee R} \right)} \right) \to \left( {\left( {P \wedge Q} \right) \to R} \right)$$\$
A
Satisfiable but not valid
B
Valid
C
D
None of the above
GATE CSE Subjects
Discrete Mathematics
Programming Languages
Theory of Computation
Operating Systems
Digital Logic
Computer Organization
Database Management System
Data Structures
Computer Networks
Algorithms
Compiler Design
Software Engineering
Web Technologies
General Aptitude
EXAM MAP
Joint Entrance Examination