DIZNR INTERNATIONAL

Previous year gate paper Discrete Mathematics Gate 2025 Consider the following expressions.

Previous year gate paper Discrete Mathematics Gate 2025Consider the following expressions.

https://www.gyanodhan.com/video/7B4.%20GATE%20CSEIT/Discrete%20Mathematics%201/473.%20Previous%20year%20gate%20paper%20Discrete%20Mathematics%20Gate%202016%20Consider%20the%20following%20expressions.mp4

Certainly! Let’s delve into a notable GATE CSE previous year question on Discrete Mathematics, specifically focusing on Propositional Logic:


🧩 GATE CSE 2025 (Set 2) – Propositional Logic Question

Question:

Consider the following expressions:

  1. (i) false

  2. (ii) Q

  3. (iii) true

  4. (iv) P ∨ Q

  5. (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:

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:

Now, let’s evaluate each of the given expressions:

  1. (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

  2. (ii) Q

    • We have deduced that Q is true.
      β‡’ Implied

  3. (iii) true

    • A tautology; always true. Since our premises lead to true statements, this is trivially implied.
      β‡’ Implied

  4. (iv) P ∨ Q

    • Since both P and Q are true, their disjunction is also true.
      β‡’ Implied

  5. (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:

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!

Previous year gate paper Discrete Mathematics Gate 2025 Consider the following expressions.