SOLUTION: 1). AvB 2). C 3). (A^C)>D 4). ~(~F^B)/DvF I have been working on this for hours. Can someone please help me?

Algebra ->  Proofs -> SOLUTION: 1). AvB 2). C 3). (A^C)>D 4). ~(~F^B)/DvF I have been working on this for hours. Can someone please help me?       Log On


   

Question 1038546: 1). AvB
2). C
3). (A^C)>D
4). ~(~F^B)/DvF
I have been working on this for hours. Can someone please help me?
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
NumberStatementLines UsedReason
1A v B
2C
3(A ^ C) > D
4~(~F ^ B)
:.D v F
5~~F v ~B4De Morgan's Law
6F v ~B5Double Negation
7~B v F6Commutation
8B > F7Material Implication
9~~A v B1Double Negation
10~A > B9Material Implication
11~A > F10,8Hypothetical Syllogism
12~F > ~~A11Transposition
13~F > A12Double Negation
14(C ^ A) > D3Commutation
15C > (A > D)14Exportation
16A > D15,2Modus Ponens
17~F > D13,16Hypothetical Syllogism
18~~F v D17Material Implication
19F v D18Double Negation
20D v F19Commutation