Hi,
How would you go about showing that the proposition below is a tautology using algebraic manipulation of logical equivalences (not using a truth table)?
( ( p ∨ q) ∧ ( p → r) ∧ ( q → r) ) → r
Thanks!
How would you go about showing that the proposition below is a tautology using algebraic manipulation of logical equivalences (not using a truth table)?
( ( p ∨ q) ∧ ( p → r) ∧ ( q → r) ) → r
Thanks!