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