The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
+15 votes

Let $P, Q$ and $R$ be three atomic propositional assertions. Let $X$ denote $( P ∨ Q ) → R$ and Y denote $(P → R) ∨ (Q → R).$ Which one of the following is a tautology?

  1. $X ≡ Y$
  2. $X → Y$
  3. $Y → X$
  4. $¬Y → X$
asked in Mathematical Logic by Boss (18.1k points)
edited by | 1.1k views

1 Answer

+22 votes
Best answer
$X \equiv (P \vee Q) → R$
$\quad \equiv \neg(P \vee Q) \vee R$
$\quad \equiv (\neg P \wedge \neg Q) \vee R$
$\quad \equiv (\neg P \vee R) \wedge (\neg Q \vee R)$
$\quad \equiv (P →  R) \wedge (Q → R)$

So, $X  → Y$ is true as $(A \wedge B) → (A \vee B)$ is always TRUE but reverse implication is not always true.

Hence, B.
answered by Veteran (355k points)
edited by
Good Explanations sir
When in confusion, better to use truth table, surely to give correct answer
how to find out if reverse implication is not true? nevermind I understood

A→B is implication and B→ A is the reverse implication, in the same way, u can check that...


Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true

38,039 questions
45,533 answers
48,850 users