SOLUTION: Hello, I need help with these proofs. I believe they are propositional logic and require rules 1-13 involving everything from Modus Ponens to Double Negation. 1. Gv(R&E) 2. (G

Question 201425: Hello, I need help with these proofs. I believe they are propositional logic and require rules 1-13 involving everything from Modus Ponens to Double Negation.
1. Gv(R&E)
2. (GvE)>~R
conclusion: GvM
using rules of replacement and inference.
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
Here's one way to do it:

1.   G v (R & E)
2.   (G v E) -> ~R              :.  G v M
------------------------------------------
3.   (G v R) & (G v E)              1      Distribution
4.   (G v E) & (G v R)              3      Commutation
5.   G v R                          3      Simplification
6.   G v E                          4      Simplification
7.   ~R                           2,6      Modus Ponens
8.   ~~G v R                        5      Double Negation
9.   ~G -> R                        8      Material Implication
10.  G                            9,7      Modus Tollens
11.  G v M                         10      Addition

RELATED QUESTIONS
hello i need help with a some logic proofs that i do not... (answered by solver91311)

Hello, I am stuck on these two logic proofs and would love some guidance. (answered by richwmiller)

i need help with proofs (answered by ikleyn,Alan3354)

I am having trouble solving the following propositional logic proofs. 1. Conclusion:... (answered by jim_thompson5910)

Hello, i was just wondering if there were actually tutors on here that could help me with (answered by solver91311)

I need examples of proofs and how to solve them. I also need help in solving paragraph... (answered by richard1234)

I need help with multi step... (answered by Fombitz)

If f (x) = 2x -6, then f (1)= I am having a hard time with these, I believe they are... (answered by Edwin McCravy)

I need help completing proofs for my deductive logic class. Can you help me with this... (answered by jim_thompson5910)