SOLUTION: I'm very confused on this proof, could anybody help me out?
1. F > (H & J)
2. ~H v ~(J v W)
/ ~F v W
Thanks!
Algebra.Com
Question 981102: I'm very confused on this proof, could anybody help me out?
1. F > (H & J)
2. ~H v ~(J v W)
/ ~F v W
Thanks!
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
Abbreviations/Acronyms Used
DM = De Morgan's Law
DN = Distribution
Simp = Simplification
MT = Modus Tollens
Add = Addition
| Number | Statement | Lines Used | Reason |
|---|
| 1 | F > (H & J) | | |
| 2 | ~H v ~(J v W) | | |
| :. | ~F v W | | |
| 3 | ~H v (~J & ~W) | 2 | DM |
| 4 | (~H v ~J) & (~H v ~W) | 3 | Dist |
| 5 | ~H v ~J | 4 | Simp |
| 6 | ~(H & J) | 5 | DM |
| 7 | ~F | 1,6 | MT |
| 8 | ~F v W | 7 | Add |
RELATED QUESTIONS
1. (J v F) v M
2. (J v M) ⊃ ~P
3. ~F/~(F v P)
I need help tryin to figure out... (answered by Solver92311)
Can anybody finish this proof for me?
1. (V v ~R) > C
2. (~C & M) v (F & ~C)
/ (answered by jim_thompson5910)
Two step proof:
1. (H v I) > J
2. H / J
(answered by Edwin McCravy)
I need some help with this question. I am confused as to how to write this out, please... (answered by jim_thompson5910)
1. (J v F) v M
2. (J v M) ⊃ ~ P
3. ~F/~(F v P)
4. M Assumption... (answered by math_tutor2020)
Hi there, I'd love some help on answering these Logic Proof Questions:
1.
1. T > O
(answered by math_tutor2020)
1. I > ( L & W)
2. (~W > H) > S
/ I > S
3. ~I v (L & W) 1 MI
4. (~I v... (answered by jim_thompson5910)
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)
Solve:
F/(G -> H) v (~G ->... (answered by solver91311)