Natural deduction problem 05

Rules

[amigoscode]

Steven If you look carefully to the rule. it says that if you have Pv¬S, S you can get P because S cannot be true and false at the same time or the other way round if you have ¬PvS, P we can deduce S because P cannot be true and false at the same time and it is vE1. hope u get it.

[amigoscode]

4) R ∨ S (data)
5) ¬P→R subcomp box
     
     |   5.1 P assum --->>>>(IT SHOULD BE ¬P)
     |   5.2 R  from 4 and ∨E --->>>> (YOU CANNOT GET R, THE RULE YOU                                                                 APPLIED WAS THE AND ELIMINATION
                                                      AND LINE 4 YOU HAVE (OR) - R v S).
   


OR rule says if you know A, then you can introduce any literal in front of it e.g. B.
AND rule says if you have A and B then you reduce it to either A by it self or B by it self.