SOLUTION:
1. F ⊃ A
2. (~F v B)⊃ (A v D )
3. ~ A • ~ B / D
I can only use the first eight implications. Stuck please help! thank you
Algebra ->
Proofs
-> SOLUTION:
1. F ⊃ A
2. (~F v B)⊃ (A v D )
3. ~ A • ~ B / D
I can only use the first eight implications. Stuck please help! thank you
Log On
Question 910335:
1. F ⊃ A
2. (~F v B)⊃ (A v D )
3. ~ A • ~ B / D
I can only use the first eight implications. Stuck please help! thank you Answer by solver91311(24713) (Show Source):
1. F ⊃ A
2. (~F v B)⊃ (A v D )
3. ~ A • ~ B | D
4. ~ A from 3 by Simplification
5. ~ F from 4, 1 by Modus Tollens
6. ~ F v B from 5 by Addition
7. A v D from 6, 2 by Modus Ponens
8. D from 7, 4 by Disjunctive Syllogism
John
My calculator said it, I believe it, that settles it
