- #1
sombrancelha
- 8
- 0
Homework Statement
I've started studying natural deduction recently and I have to prove
(p implies q) or (q implies r)
Homework Equations
--
The Attempt at a Solution
I thought about using the Law of Excluded Middle, but I'm not sure.