In: Advanced Math
1. Determine if the following deduction rule is valid:
p∨q
¬p
_______
∴ q
2. Determine if the following is a valid deduction rule:
(p∧q)→r
¬ p ∨ ¬ q
________
∴ ¬r
3. Suppose p and q are (possibly molecular) propositional statements. Prove that p and q are logically equivalent if any only if p↔q is a tautology.