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.Com
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): You can put this solution on YOUR website!
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
RELATED QUESTIONS
Indirect proof
9.
1) R
2) (~ C v ~ D) v S
3) ~ (C ⋅ D) ⊃ ~R / ∴ S
(answered by solver91311)
Using a conditional proof:
1. (D v E) ⊃ (F · G)
2.( A v B) ⊃ (D · C) (answered by jim_thompson5910)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)
Please help me solve this proof!
Premises:
1. (A⊃B)&(C⊃D)
2.... (answered by Edwin McCravy)
Could you please help me? Im sick with a bug and cant think straight :/
A)
1. A ⊃ (answered by solver91311)
Hi, I need help with finishing these proofs for my PHI class I am so confused! :(
[1]
(answered by Edwin McCravy)
Please help!
A ⊃ B
A ⊃ (B ⊃ C)
B ⊃ (C ⊃ D)
∴ A... (answered by Edwin McCravy)
I need help solving this proof, please help!
Premises:
1. A ⊃ (B⊃C)
2. A & (answered by Edwin McCravy)
Using an indirect proof to solve this problem:
1. B ⊃ (C ⊃~B)
2. A... (answered by jim_thompson5910)
