SOLUTION: Hi all, I have started this proof and got a bit lost...
1. ~H > (~C >W)
2. W v ~H
3. (C <> ~L) > ~C
4. ~W
Conclusion: ~(C <> ~L)
What are the next steps to prove my concl
Algebra.Com
Question 979811: Hi all, I have started this proof and got a bit lost...
1. ~H > (~C >W)
2. W v ~H
3. (C <> ~L) > ~C
4. ~W
Conclusion: ~(C <> ~L)
What are the next steps to prove my conclusion?
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
| Number | Statement | Lines Used | Reason |
|---|
| 1 | ~H > (~C >W) | | |
| 2 | W v ~H | | |
| 3 | (C <> ~L) > ~C | | |
| 4 | ~W | | |
| :. | ~(C <> ~L) | | |
| 5 | ~H | 2,4 | Disjunctive Syllogism |
| 6 | ~C > W | 1,5 | Modus Ponens |
| 7 | ~~C | 6,4 | Modus Tollens |
| 8 | ~(C <> ~L) | 3,7 | Modus Tollens |
RELATED QUESTIONS
1. I > ( L & W)
2. (~W > H) > S
/ I > S
3. ~I v (L & W) 1 MI
4. (~I v... (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. (W . (R v T ) ) > P
2. ( P v L ) > ~ H
3. W
4. R
:. ~... (answered by jim_thompson5910)
I need help finishing this proof.
1. (A v B) v C
2. ~B & ~ E
3. (A v C) > (E &... (answered by jim_thompson5910)
Half the perimeter of a garden is 18 feet. The garden is 8 feet longer than it is wide.... (answered by Earlsdon)
can i have help solving these proofs
a regular proof to derive the conclusion of the... (answered by jim_thompson5910)
Example:
1. A
2. A>B / B
3. B 1,2 MP ←You add this line
1. G > H
2. ~H /... (answered by ikleyn)
1. ~A ⊃ ~B
2. A ⊃ C
3. Z ⊃ W
4. ~C • ~W /∴~B v W
(answered by RBryant)
I have 3 questions on my exercise that really have me stumped.
Here are the directions... (answered by jim_thompson5910)