Previous year gate paper Discrete Mathematics Gate 2025 Consider the following expressions.
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 [hide]
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!