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 truth
The Attempt at a Solution
Im unable to demonstrate the Tautology and obtain (¬Q) as solution.
I start by facing the right side in this way: [(PvQ) → Q ∧ Q → (PvQ)] and apply the same concept
with the other " ↔ " . Is this correct?
<Moderator's note: Type setting edited. Boldface is considered shouting.>
Last edited by a moderator: