This one is driving me crazy. I don't understand most keys for de morgan, modus ponens, etc, so please abbreviate if possible? EX: DM, MP, SIMP, HS, Conj, Imp (material Implication). Thank you anybody who can help out! v or, ~ not, ^ and, > if...then, => if and only if (bi-conditional).
and the conclusion is S.
~Pv(RvS) 1, IMP
(~PvR)vS 6, ASSOC
What's getting me is I can't isolate a variable that helps complete the conclusion that S is so! I have other notes, too, but can't place it. There is no other info than the first 2 lines. I can't isolate a truth because they're all disjunctions (v) or conditionals (>). Am I missing an Addition, Modus Tolens, or Modus Ponens somewhere? I was thinking maybe a double negation, but I can't figure this out after working on it almost all day yesterday. Final question on a Logic exam already passed. Hope this makes sense?