Which of the following is false? Read ∧ as AND, ∨ as OR, ∼ as NOT, → as one…

1996

Which of the following is false? Read ∧ as AND, ∨ as OR, ∼ as NOT, → as one way implication and ↔ as two way implication.

  1. A.

    ((x→y) ∧ x)→ y

  2. B.

    ((∼x→y) ∧ (∼x→∼y))→ x

  3. C.

    (x→ (x ∨ y))

  4. D.

    ((x ∨ y) ↔ (∼x→∼y))

Attempted by 15 students.

Show answer & explanation

Correct answer: D

To find the false statement, let's look closely at Option D: ((x v y) <-> (~x -> ~y)).

For a two-way implication (equivalence, <->) to be true, the expressions on both the left and right sides must have identical truth values in every scenario. Let's test what happens when x = False and y = True:

  1. Evaluate Left Side: (x v y) False v True = True

  2. Evaluate Right Side: (~x -> ~y)

    • ~x becomes ~False = True

    • ~y becomes ~True = False

    • The implication becomes True -> False, which evaluates to False

  3. Evaluate the full equivalence: Left Side <-> Right Side True <-> False = False

Because the statement evaluates to False in this scenario, it is a contingency, not a tautology (it is not universally true). Therefore, Option D is the false statement.

Note on the math: The expression ~x -> ~y is the inverse of the implication x -> y. It is not logically equivalent to x v y. The correct equivalence for x v y in implication form would be ~x -> y (the contrapositive of ~y -> x).

Explore the full course: Gate Guidance By Sanchit Sir