1
GATE CSE 2002
MCQ (Single Correct Answer)
+1
-0.3
"If X then Y unless Z" is represented by which of the following formulas in propositional logic? (" $$\neg $$ " is negation, " $$ \wedge $$ " is conjunction, and " $$ \to $$ " is implication)
A
$$\left( {{\rm X} \wedge \neg Z} \right) \to Y$$
B
$$\left( {X \wedge Y} \right) \to \neg Z$$
C
$${\rm X} \to \left( {Y \wedge \neg Z} \right)$$
D
$$\left( {{\rm X} \to Y} \right) \wedge \neg Z$$
2
GATE CSE 2001
MCQ (Single Correct Answer)
+1
-0.3
Consider two well-formed formulas in propositional logic
$$F1:P \Rightarrow \neg P$$
$$F2:\left( {P \Rightarrow \neg P} \right) \vee \left( {\neg P \Rightarrow } \right)$$

Which of the following statements is correct?

A
F1 is satisfiable, F2 is valid
B
F1 is unsatisfiable, F2 is satisfiable
C
F1 is unsatisfiable, F2 is valid
D
F1 and F2 are both satisfiable
3
GATE CSE 1998
MCQ (Single Correct Answer)
+1
-0.3
What is the converse of the following assertion?
I stay only if you go
A
I stay if you go
B
If I stay then you go
C
If you do not go then I do not stay
D
If I do not stay then you go
4
GATE CSE 1993
MCQ (Single Correct Answer)
+1
-0.3
The proposition $$p \wedge \left( { \sim p \vee q} \right)$$ is
A
a tautology
B
$$ \Leftrightarrow \left( {p \wedge q} \right)$$
C
$$ \Leftrightarrow \left( {p \vee q} \right)$$
D
a contradiction
GATE CSE Subjects
Software Engineering
Web Technologies
EXAM MAP
Medical
NEET
Graduate Aptitude Test in Engineering
GATE CSEGATE ECEGATE EEGATE MEGATE CEGATE PIGATE IN
CBSE
Class 12