Recent content by Ogisto54

  1. O

    Is it possible to prove (P→Q)↔[(P ∨ Q)↔Q] without using truth tables?

    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...