meeshmouse14
New member
I am completely stuck on how to prove this!!
(P•G) ? R
(R•S) ? T
(P•S)
(G v R)
/.: (R v T)
/.: being the conclusion the rest being prem.
If you could help me that would be GREAT!!!!!! I am allowed to use the Rules of Inference: Modus Ponens, Modus Tollens, Hypothetical Syllogism, Simplification, Conjunction, Dilemma, Disjuntive Syllogism, Addition, & the Replacement Rules: Double Negatioin, Duplication, Communication, Association, Contraposition, DeMorgans, Biconditioinal Exchange, Conditioinal Exchange, Distribution, and Exportaion.
Any help is welcome! Every little bit helps! Thank you so much!
(P•G) ? R
(R•S) ? T
(P•S)
(G v R)
/.: (R v T)
/.: being the conclusion the rest being prem.
If you could help me that would be GREAT!!!!!! I am allowed to use the Rules of Inference: Modus Ponens, Modus Tollens, Hypothetical Syllogism, Simplification, Conjunction, Dilemma, Disjuntive Syllogism, Addition, & the Replacement Rules: Double Negatioin, Duplication, Communication, Association, Contraposition, DeMorgans, Biconditioinal Exchange, Conditioinal Exchange, Distribution, and Exportaion.
Any help is welcome! Every little bit helps! Thank you so much!