SOLUTION: Alright, I have access to rules: 1.Modus Ponens 2. Modus Tollens 3. Hypothetical Syllogism 4. Disjunctive Syllogism 5. Constructive dilemma 6. Simplification 7. conjunction 8. addi

Algebra ->  Proofs -> SOLUTION: Alright, I have access to rules: 1.Modus Ponens 2. Modus Tollens 3. Hypothetical Syllogism 4. Disjunctive Syllogism 5. Constructive dilemma 6. Simplification 7. conjunction 8. addi      Log On


   

Question 886984: Alright, I have access to rules: 1.Modus Ponens 2. Modus Tollens 3. Hypothetical Syllogism 4. Disjunctive Syllogism 5. Constructive dilemma 6. Simplification 7. conjunction 8. addition 9. demorgan 10. commutative 11. associative 12. Distribute 13. Double negate 14. transposition 15. Implication 16. equivalence 17. exportation 18. tautology
You may also use Indirect or conditional proof on this..
Please help with this:
~I
~(IvS)>K
/~S>K
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1. ~I
2. ~(I v S) -> K
/ ~S -> K
-- ------------------ ----- ------------------
3. ~~(I v S) v K 2 Implication
4. (I v S) v K 3 Double Negation
5. I v (S v K) 4 Associative
6. S v K 5,1 Disjunctive Syllogism
7. ~~S v K 6 Double Negation
8. ~S -> K 7 Implication


Side Note: Some books refer to "implication" as "material implication"