SOLUTION: 1. A > B
2. C > D
3. K > (A v C)
4. J v K
5. J > Z
6. W & ~Z / B v D
Algebra.Com
Question 1028160: 1. A > B
2. C > D
3. K > (A v C)
4. J v K
5. J > Z
6. W & ~Z / B v D
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
| Number | Statement | Lines Used | Reason |
|---|
| 1 | A > B | | |
| 2 | C > D | | |
| 3 | K > (A v C) | | |
| 4 | J v K | | |
| 5 | J > Z | | |
| 6 | W & ~Z | | |
| :. | B v D | | |
| 7 | ~Z & W | 6 | Commutation |
| 8 | ~Z | 7 | Simplification |
| 9 | ~J | 5,8 | Modus Tollens |
| 10 | K | 4,9 | Disjunctive Syllogism |
| 11 | A v C | 3,10 | Modus Ponens |
| 12 | (A > B) & (C > D) | 1,2 | Conjunction |
| 13 | B v D | 12,11 | Constructive Dilemma |
RELATED QUESTIONS
Solve the two step proofs below:
1. ~C
2. A > B
3. B > C / ~A
1. D > E
2. F > G
(answered by Edwin McCravy)
Hi there, I'd love some help on answering these Logic Proof Questions:
1.
1. T > O
(answered by math_tutor2020)
How would you prove this argument valid ?
1. A > H
2. G > S
3. ~ K > (A v G)
4. ~ K (answered by math_helper)
1. H > (M > E)
2. ~[(M > H) > E]
3. (I + O) > [M + (X = P)]
4. [(K v B) > ~M] > (~I (answered by CPhill)
Prove: Q
(1) [~(A•C)->Q]•Z
(2) [~B v ~(A•C)]•D
(3)`B->Q
(4)
(5)
(6)... (answered by solver91311)
Example:
1. A
2. A>B / B
3. B 1,2 MP ←You add this line
1. G > H
2. ~H /... (answered by ikleyn)
Find a unit vector normal to the plane containing w = i and v = j .
a. u= (sqrt2/2)k... (answered by ikleyn)
I have no clue how to do these problems. Please help
Find the expression.
1.) u =... (answered by jim_thompson5910,josgarithmetic)
I have no clue how to do these problems. Please help me understand
Find the... (answered by stanbon)