Solution to Is (p>q)>[(p>q)>q] a tautology? Why or why not? - Sikademy
Author Image

Archangel Macsika

Is (p>q)>[(p>q)>q] a tautology? Why or why not?

The Answer to the Question
is below this banner.

Can't find a solution anywhere?

NEED A FAST ANSWER TO ANY QUESTION OR ASSIGNMENT?

Get the Answers Now!

You will get a detailed answer to your question or assignment in the shortest time possible.

Here's the Solution to this Question

Let us show that the formula (p\to q)\to[(p\to q)\to q] is not a tautology. Taking into account that for (p_0,q_0)=(0,0)\in\{0,1\}^2 we have that |(p_0\to q_0)\to[(p_0\to q_0)\to q_0]|=(0\to 0)\to[(0\to 0)\to 0]=1\to [1\to 0]=1\to 0=0, we conclude that the formula is not a tautology.



Related Answers

Was this answer helpful?

Join our Community to stay in the know

Get updates for similar and other helpful Answers

Question ID: mtid-5-stid-8-sqid-2828-qpid-1385