Homework Statement
Need to demonstrate this proposition: (P→Q)↔[(P ∨ Q)↔Q] . My textbook use truth tables, but I'd like to do without it. It asks me if it's always truthThe Attempt at a Solution
Im unable to demonstrate the Tautology and obtain (¬Q) as solution.
I start by facing the right side...