SOLUTION: P) A or B P) Not A & Not C Therefore B Must be solved using rules of inference

Algebra ->  Proofs -> SOLUTION: P) A or B P) Not A & Not C Therefore B Must be solved using rules of inference      Log On


   

Question 1207571: P) A or B
P) Not A & Not C
Therefore B
Must be solved using rules of inference
Answer by math_tutor2020(3816) About Me  (Show Source):
You can put this solution on YOUR website!

I'll provide an informal outline how the derivation will go.
I'll leave it up to the student to form the proper derivation in the format your teacher wants.

We can pull out "not A" from the "Not A & Not C" by use of the simplification rule.

Then combine "A or B" with "not A" to determine the conclusion is B.
This is because of the disjunctive syllogism rule.

Please let me know if you have any further questions.