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
Logic: Proofs
Logic
Solvers
Solvers
Lessons
Lessons
Answers archive
Answers
Click here to see ALL problems on Proofs
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)
(
Show Source
):
You can
put this solution on YOUR website!
Number
Statement
Lines Used
Reason
1
A v B
2
C
3
(A ^ C) > D
4
~(~F ^ B)
:.
D v F
5
~~F v ~B
4
De Morgan's Law
6
F v ~B
5
Double Negation
7
~B v F
6
Commutation
8
B > F
7
Material Implication
9
~~A v B
1
Double Negation
10
~A > B
9
Material Implication
11
~A > F
10,8
Hypothetical Syllogism
12
~F > ~~A
11
Transposition
13
~F > A
12
Double Negation
14
(C ^ A) > D
3
Commutation
15
C > (A > D)
14
Exportation
16
A > D
15,2
Modus Ponens
17
~F > D
13,16
Hypothetical Syllogism
18
~~F v D
17
Material Implication
19
F v D
18
Double Negation
20
D v F
19
Commutation