SOLUTION: Construct proofs for the following using the basic rules of inference. a. C ⊃ (∼A ∨ B), C ∙ ∼B, /∴ ∼A

Question 1191062: Construct proofs for the following using the basic rules of inference.
a. C ⊃ (∼A ∨ B), C ∙ ∼B, /∴ ∼A

Answer by Solver92311(821) (Show Source): You can put this solution on YOUR website!

1.  C -> (~A v B)

2.  C & ~B                   |∴ ~A

3.  C                  2.    Simplification

4.  ~A v B             1,3.  Modus Ponens

5.  ~B                 2.    Simplification

6.  ∴ ~A               4,5.  Disjunctive Syllogism

John

My calculator said it, I believe it, that settles it

From
I > Ø

RELATED QUESTIONS
Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)

1. R>~B 2. D+R 3. B /D Use the eighteen inference rules to construct proofs for the... (answered by Edwin McCravy)

P) A or B P) Not A & Not C Therefore B Must be solved using rules of... (answered by math_tutor2020)

Complete the following proofs, choosing from among the first four Rules of Implication: (answered by AnlytcPhil)

1. (O+M)>S 2. ~S /~M Use the eighteen inference rules to construct proofs for the... (answered by Edwin McCravy)

1. J+(K.L) 2. ~K /J Use the eighteen inference rules to construct proofs for the... (answered by Edwin McCravy)

Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)

prove validity using inference rules and rules of replacement and say which rule was used (answered by Edwin McCravy)