1
GATE CSE 2007
MCQ (Single Correct Answer)
+2
-0.6
Which one of these first-order logic formulae is valid?
2
GATE CSE 2006
MCQ (Single Correct Answer)
+2
-0.6
Consider the following first order logic formula in which $$R$$ is a binary relation symbol.
$$\forall x\forall y\left( {R\left( {x,\,y} \right) \Rightarrow R\left( {y,x} \right)} \right).$$
$$\forall x\forall y\left( {R\left( {x,\,y} \right) \Rightarrow R\left( {y,x} \right)} \right).$$
The formula is
3
GATE CSE 2006
MCQ (Single Correct Answer)
+2
-0.6
Consider the following propositional statements:
$${\rm P}1:\,\,\left( {\left( {A \wedge B} \right) \to C} \right) \equiv \left( {\left( {A \to C} \right) \wedge \left( {B \to C} \right)} \right)$$
$${\rm P}2:\,\,\left( {\left( {A \vee B} \right) \to C} \right) \equiv \left( {\left( {A \to C} \right) \vee \left( {B \to C} \right)} \right)$$ Which one of the following is true?
4
GATE CSE 2006
MCQ (Single Correct Answer)
+2
-0.6
Let $$P, Q$$, and $$R$$ be sets. Let $$\Delta $$ denote the symmetric difference operator defined as $$P\Delta Q = \left( {P \cup Q} \right) - \left( {P \cap Q} \right)$$. Using venn diagrams, determine which of the following is/are TRUE.
($${\rm I}$$) $$P\Delta \left( {Q \cap R} \right) = \left( {P\Delta Q} \right) \cap \left( {P\Delta R} \right)$$
($${\rm I}{\rm I}$$) $$P \cap \left( {Q\Delta R} \right) = \left( {P \cap Q} \right)\Delta \left( {P \cap R} \right)$$
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