Previous year gate paper Discrete Mathematics Gate 2025Consider the following expressions.
Certainly! Letβs delve into a notable GATE CSE previous year question on Discrete Mathematics, specifically focusing on Propositional Logic:
Contents

GATE CSE 2025 (Set 2) β Propositional Logic Question

Question:
Consider the following expressions:
-
(i) false
-
(ii) Q
-
(iii) true
-
(iv) P β¨ Q
-
(v) Β¬Q β¨ P
How many of the above expressions are logically implied by the expression:
P β§ (P β Q)?
Solution:
We are given the expression:
P β§ (P β Q)
Letβs analyze what this implies:
-
P is true.
-
P β Q is true.
From the implication P β Q, and knowing that P is true, it follows that Q must also be true. This is based on the truth table of implication, where the only case P β Q is false is when P is true and Q is false.
Therefore, from P β§ (P β Q), we can deduce:
-
P is true.
-
Q is true.
Now, letβs evaluate each of the given expressions:
-
(i) false
-
This is a constant false value. Since we have deduced that both P and Q are true, we cannot conclude that false is implied.
β Not implied
-
-
(ii) Q
-
We have deduced that Q is true.
β Implied
-
-
(iii) true
-
A tautology; always true. Since our premises lead to true statements, this is trivially implied.
β Implied
-
-
(iv) P β¨ Q
-
Since both P and Q are true, their disjunction is also true.
β Implied
-
-
(v) Β¬Q β¨ P
-
Letβs evaluate:
-
Β¬Q is false (since Q is true).
-
P is true.
-
Therefore, Β¬Q β¨ P = false β¨ true = true.
β Implied
-
-
Answer:
4 expressions are logically implied by P β§ (P β Q):
(ii) Q, (iii) true, (iv) P β¨ Q, and (v) Β¬Q β¨ P.
Further Practice:
To strengthen your understanding of Discrete Mathematics for GATE, consider exploring the following resources:
-
GeeksforGeeks β Discrete Mathematics GATE Questions: A comprehensive collection of previous year questions with explanations.
-
Examside β Topic-wise GATE CSE Questions: Offers categorized questions for focused practice.
-
PracticePaper β Discrete Mathematics for GATE CSE: Provides practice questions with solutions to test your knowledge.
Video Resources:
For a visual and in-depth explanation, you might find the following video helpful:
Feel free to explore these resources to enhance your preparation!