SOLUTION: please solve these problems with steps: ___________ ___________ 1. ~(K v A) > (R v W) 2. ~K 3. ~A /∴ R v W ___________ ___________ 1. A v ~(O v M) 2. B > ~(A v ~M)

Algebra.Com
Question 1204115: please solve these problems with steps:
_______________________
1. ~(K v A) > (R v W)
2. ~K
3. ~A /∴ R v W
_______________________
1. A v ~(O v M)
2. B > ~(A v ~M) /∴ ~B
_______________________
1. (Z + ~A) v (B > Z)
2. ~Z /∴ ~B
_______________________
1. ~A
2. ~Z /∴ ~[(A v Z) + B]

Thank you!!!
Answer by Edwin McCravy(20055)   (Show Source): You can put this solution on YOUR website!
1. ~(K v A) > (R v W)
2. ~K
3. ~A /∴ R v W

4. ~K + ~A      2,3 Conjunction
5. ~(K v A)     4,  DeMorgan's Law 
6. R v W        1,  Modus ponens


_______________________
 1. A v ~(O v M)
 2. B > ~(A v ~M) /∴ ~B

 3.               |~~B        Assumption for Indirect Proof
 4.               |  B             3, Double negation 
 5.               |~(A v ~M)     2,4, Modus ponens
 6.               |~A + ~~M        5, DeMorgan's Law
 7.               |~A + M          6, Double negation
 8.               |M + ~A          7, Commutation
 9.               |M               8, Simplification
10.               |M v O           9, Addition
11.               |O v M          10, Commutation
12.               |~(O v M) v A    1, Commutation
13.               |~~(O v M)      11, Double negation
14.               |A           12,13, Disjunctive syllogism
15.               |~A              7, Simplification
16.               |A + ~A      14,15, Conjunction 
17. ~B        Lines 3-16 Indirect Proof 

We only do 2.

Edwin
RELATED QUESTIONS

Prove this with steps please 1 [(A v ~B) v T]->(X->M) 2 (A v R)->(Z->O) 3 A&(X v Z) (answered by Edwin McCravy)
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)
Prove the following three arguments to be valid using the method of Natural Deduction A. (answered by solver91311)
1. H > (M > E) 2. ~[(M > H) > E] 3. (I + O) > [M + (X = P)] 4. [(K v B) > ~M] > (~I (answered by CPhill)
How do I solve these proofs? Number one 1.~B v[(C>D)&(E>D)] 2. B&(C v E)... (answered by jim_thompson5910)
Question 1 1. ~(U v R) 2. (~R v N) ⊃ (P * H) 3. Q ⊃ ~H ~Q Question 2... (answered by Edwin McCravy)
1. A > B 2. C > D 3. K > (A v C) 4. J v K 5. J > Z 6. W & ~Z / B v... (answered by jim_thompson5910)
Need help solving this proof: 1. ~O • K 2. ~O >(~R v A) 3. (~R > ~W) • (A > G) 4.... (answered by jim_thompson5910)
Question 1 please help me with this question. If the universal set U=... (answered by MathLover1)