Discrete Mathematics
Set Theory & Algebra
Marks 1Marks 2Marks 5
Linear Algebra
Marks 1Marks 2
Combinatorics
Marks 1Marks 2
Mathematical Logic
Marks 1Marks 2Marks 5
Probability
Marks 1Marks 2
1
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
2
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
3
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 ____
4
GATE CSE 2016 Set 1
Numerical
+1
-0
Let $$p,q,r,s$$ represent the following propositions.

$$p:\,\,\,x \in \left\{ {8,9,10,11,12} \right\}$$
$$q:\,\,\,x$$ is a composite number
$$r:\,\,\,x$$ is a perfect square
$$s:\,\,\,x$$ is a prime number

The integer $$x \ge 2$$ which satisfies $$\neg \left( {\left( {p \Rightarrow q} \right) \wedge \left( {\neg r \vee \neg s} \right)} \right)$$ is ______________.

Your input ____
GATE CSE Subjects
Theory of Computation
Operating Systems
Algorithms
Digital Logic
Database Management System
Data Structures
Computer Networks
Software Engineering
Compiler Design
Web Technologies
General Aptitude
Discrete Mathematics
Programming Languages
Computer Organization