SOLUTION: 1. K > ~K 2. (~S v U)> K / S

Algebra.Com
Question 737908: 1. K > ~K
2. (~S v U)> K
/ S
Found 2 solutions by lynnlo, jim_thompson5910:
Answer by lynnlo(4176)   (Show Source): You can put this solution on YOUR website!

Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!
1.  K > ~K
2.  (~S v U)> K
/  S
-------------------------------------------------------
3.  ~~K > ~K                                    1      DN
4.  ~K v ~K                                     3      MI
5.  ~K                                          4      Taut
6.  ~(~S v U)                                   2,5    MT                                  
7.  ~~S & ~U                                    6      DM
8.  S & ~U                                      7      DN
9.  S                                           8      Simp



Abbreviations/Acronyms Used:

DN = Double Negation
MI = Material Implication
Taut = Tautology
MT = Modus Tollens
DM = De Morgan's Law
Simp = Simplification
RELATED QUESTIONS

please solve: 1. (K v S) v (T v W) 2. ~S + [T v ~(O v Z)] 3. K > ~(T v ~Z) /∴ T... (answered by Edwin McCravy)
1. (R v S) > (H & ~G) 2. (K v R) > (G v ~H) / ~R (answered by jim_thompson5910)
Prove the following three arguments to be valid using the method of Natural Deduction A. (answered by solver91311)
How would you prove this argument valid ? 1. A > H 2. G > S 3. ~ K > (A v G) 4. ~ K (answered by math_helper)
k=s/2(p+f) (answered by nyc_function)
~(Z v Y) → ~W, ~U → ~(Z v Y), (~U → ~W) → (T → S), S... (answered by math_helper)
Can someone please help me with this proof using the 18 rules of inference? > is a... (answered by jim_thompson5910)
For a positive integer k, let S_k = 1 \cdot 1! \cdot 2 + 2 \cdot 2! \cdot 3 + \dots + k... (answered by CPhill,ikleyn)
s=M/2(a+k) solve for k (answered by Fombitz)