SOLUTION: [(N+O)>P] [(P+Q)>R] (Q+N) ~Q /R

Algebra ->  Proofs -> SOLUTION: [(N+O)>P] [(P+Q)>R] (Q+N) ~Q /R      Log On


   



Question 1034192: [(N+O)>P]
[(P+Q)>R]
(Q+N)
~Q
/R

Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!
I assume your + means "or".  Most teachers and books use 
"v" for "or",  "&" or "^" for "and".  Your book/professor is
not using standard notation. I also assume your > means ⊃ or -> 

1.  (NvO)⊃P
2.  (PvQ)⊃R
3.  QvN
4.  ~Q        /R

5.  N         3,4,  Disjunctive syllogism
6.  NvQ         5,  Addition
7.  P         1,6,  Modus ponens
8.  PvQ         7,  Addition
9.  R         2,9,  Modus ponens   

Hope I understood your symbols as you intended.  If not you
can tell me in the thank-you note form below, and I'll get
back to you by email.

Edwin