Given (p ⇒ q) and (r ⇒ s), use the Fitch System to prove (p ∨ r ⇒ q ∨ s) p => q - premise r => s - premise Goal : p | r => q | s
Follow Math Help Forum on Facebook and Google+
Use the fact that p q is logically equivalent to ~p ∨ q.
View Tag Cloud