Question

Prove that [(p =⇒ q) ∧ p] =⇒ q is a tautology.

Answer 1

Answer:

A proposition is said to be a tautology if its truth value is T for any assignment of truth values to its components. Example: The proposition p ∨ ¬p is a tautology.A proposition of the form “if p then q” or “p implies q”, represented “p → q” is called a conditional proposition.