Question
Problem 1. Verify that [p → (q→r)] → [(p → q) → (p →r)] is a tautology.
Question image 1