401 views
1 votes
1 votes
Show that $(p \rightarrow q) \rightarrow r$ and $p \rightarrow (q \rightarrow r)$ are not logically equivalent.

2 Answers

1 votes
1 votes

$(p \rightarrow q) \rightarrow r\equiv(\sim p\vee q)\rightarrow r$ 

$(p \rightarrow q) \rightarrow r\equiv\sim(\sim p\vee q)\vee r$

$(p \rightarrow q) \rightarrow r\equiv(p\wedge \sim q)\vee r$

Now we can change propositional operator into boolean operator for easy calculation

$\wedge\equiv\cdot,\vee\equiv +$

$(p \rightarrow q) \rightarrow r\equiv p. \bar q+ r$   --------------$>(1)$

and $p \rightarrow (q \rightarrow r)\equiv p\rightarrow (\sim q\vee r)$

      $p \rightarrow (q \rightarrow r)\equiv \sim p\vee (\sim q\vee r)$

Now we can change propositional operator into boolean operator for easy calculation

$\wedge\equiv\cdot,\vee\equiv +$

$p \rightarrow (q \rightarrow r)\equiv \bar p+ (\bar q+ r)$

$p \rightarrow (q \rightarrow r)\equiv \bar p+ \bar q+ r$​​​​​​​  ------------$>(2)$

From equation $(1)$ and $(2)$ both are not equivalent.

Related questions

3 votes
3 votes
2 answers
2
Pooja Khatri asked Mar 16, 2019
1,143 views
Why are the duals of two equivalent compound propositions also equivalent, where these compound propositions contain only the operators $\wedge, \vee, \sim ?$
2 votes
2 votes
3 answers
3
0 votes
0 votes
2 answers
4