## Thinking Mathematically (6th Edition)

A compound statement that is always true is called a Tautology, and a compound statement that is always false is called a self-contradiction. Determine the truth table for the provided statement $\left[ \left( p\to q \right)\wedge p \right]\to q$ as shown below, As seen from the truth table that the given statement is always true, therefore, it is a tautology. Hence, the given statement is always true, therefore, it is a tautology.