The Answer to the Question
is below this banner.
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.