1
GATE CSE 2021 Set 1
MCQ (Single Correct Answer)
+1
-0.33

Let p and q be two propositions. Consider the following two formulae in propositional logic.

S1 : (¬p ∧ (p ∨ q)) → q

S2 : q → (¬p ∧ (p ∨ q))

Which one of the following choices is correct?

A
Neither S1 nor S2 is a tautology.
B
S1 is not a tautology but S2 is a tautology.
C
Both S1 and S2 are tautologies.
D
S1 is a tautology but S2 is not a tautology.
2
GATE CSE 2017 Set 1
MCQ (Single Correct Answer)
+1
-0.33

The statement $(\neg p) \Rightarrow(\neg q)$ is logically equivalent to which of the statements below?

I. $\quad p \Rightarrow q$

II. $q \Rightarrow p$

III. $(\neg q) \vee p$

IV. $(\neg p) \vee q$

A
I only
B
I and IV only
C
II only
D
II and III only
3
GATE CSE 2017 Set 1
MCQ (Single Correct Answer)
+1
-0.33

Consider the first-order logic sentence $F: \forall x(\exists y R(x, y))$. Assuming non-empty logical domains, which of the sentences below are implied by $F$?

I. $\quad \exists y(\exists x R(x, y))$

II. $\quad \exists y(\forall x R(x, y))$

III. $\forall y(\exists x R(x, y))$

IV. $\neg \exists x(\forall y \neg R(x, y))$

A
IV only
B
I and IV only
C
II only
D
II and III only
4
GATE CSE 2016 Set 2
Numerical
+1
-0
Consider the following expressions:
$$\,\,\,\,\,\,\,\,\,\,\,\,\,$$ $$(i)$$ $$\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,$$ false
$$\,\,\,\,\,\,\,\,\,\,\,\,$$ $$(ii)$$ $$\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,$$ $$Q$$
$$\,\,\,\,\,\,\,\,\,\,\,$$ $$(iii)$$ $$\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,$$ true
$$\,\,\,\,\,\,\,\,\,\,\,\,$$ $$(iv)$$ $$\,\,\,\,\,\,\,\,\,\,\,$$ $$P∨Q$$
$$\,\,\,\,\,\,\,\,\,\,\,\,\,$$ $$(v)$$ $$\,\,\,\,\,\,\,\,\,\,\,\,$$ $$\neg QVP$$

The number of expressions given above that are logically implied by $$P \wedge \left( {P \Rightarrow Q} \right)$$) is _____________.

Your input ____
GATE CSE Subjects
Software Engineering
Web Technologies
EXAM MAP