Is (p q) > I(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 consider the formula Let us show that this formula is a tautology using the method by contradiction. Suppose that the formula is not tautology. Then there exists such that It follows from definition of implication that It follows from definition of conjunction that
On the other hand, we have This contradiction proves that the formula is a tautology.