retagged by
19,204 views
74 74 votes

Let $p$, $q$ and $r$ be propositions and the expression $\left ( p\rightarrow q \right )\rightarrow r$ be a contradiction. Then, the expression $\left ( r\rightarrow p \right )\rightarrow q$ is

  1. a tautology
  2. a contradiction
  3. always TRUE when $p$ is FALSE
  4. always TRUE when $q$ is TRUE

10 Answers

Best answer
87 87 votes
Given $(p\to q)\to r$ is false. It is possible only when $r$ is FALSE and $(p\to q)$ is TRUE.
Now even without checking any other option we can directly conclude option $D$ is correct as $(r\to p)\to q$ can be written as $\neg(r\to p)\vee q.$

Since, $r$ is False, $r\to p$ is true and $\neg (r\to p)$ is False. So, it becomes $(\text{False} \vee q).$
which is TRUE whenever $q$ is TRUE

Hence, option (D)
edited by
18 18 votes

D)

Given that ( p → q ) → r  is a contradiction so  r = and ( p → q ) = T 

We have to evaluate the expression ( r → p ) → q  

Since r = F, ( r → p )  = T ( As F → p, is always true )

The final expression is T → q and this is True when q is True, hence option D.  

6 6 votes

If a given compound proposition is a contradiction then it is FALSE for every possible combination of the truth value of  it’s atomic propositions

1 1 vote
Given, ((p → q) → r) $\equiv$ F  => (p → q) $\equiv$ T and r $\equiv$ F  (T: true ; F: false)

((r → p) → q) $\equiv$ ((F → p) → q) $\equiv$ (T → q) $\equiv$ q

$\therefore$ The expression ((r → p) → q) $\equiv$ q is a contingency. It is always true when q is true.
Answer:
Position:
Show:

Related questions

45 45 votes
8 answers 8 answers
15.7k
15.7k views
khushtak asked Feb 14, 2017
15,671 views
The statement $\left ( ¬p \right ) \Rightarrow \left ( ¬q \right )$ is logically equivalent to which of the statements below?$p \Rightarrow q$$q \Rightarrow p$$\left ( ¬q...
100 100 votes
10 answers 10 answers
30.6k
30.6k views
khushtak asked Feb 14, 2017
30,635 views
Consider the first-order logic sentence $F:\forall x(\exists yR(x,y))$. Assuming non-empty logical domains, which of the sentences below are implied by $F$?$\exists y(\ex...
89 89 votes
12 answers 12 answers
28.7k
28.7k views
Arjun asked Feb 14, 2017
28,703 views
A cache memory unit with capacity of $N$ words and block size of $B$ words is to be designed. If it is designed as a direct mapped cache, the length of the $\textsf{TAG}$...
75 75 votes
4 answers 4 answers
30.0k
30.0k views
Arjun asked Feb 14, 2017
30,021 views
Consider the expression $(a-1) * (((b+c)/3)+d)$. Let $X$ be the minimum number of registers required by an optimal code generation (without any register spill) algorithm ...