SOLUTION: 1. (X v B) ⊃ ~J 2. S ⊃ J 3. X / ~S

Algebra ->  Proofs -> SOLUTION: 1. (X v B) ⊃ ~J 2. S ⊃ J 3. X / ~S      Log On


   

Question 1202817: 1. (X v B) ⊃ ~J
2. S ⊃ J
3. X / ~S
Answer by math_helper(2461) About Me  (Show Source):
You can put this solution on YOUR website!


1. (X v B) --> ~J       Premise

2. S --> J              Premise

3. X                    Premise

// show ~S 

4. X v B                3, Addition (ADD)

5. ~J                   4,1,  Modus Ponens (MP)

6. ~S                   5,2,  Modus Tollens (MT)

** Done **