SOLUTION: Construct a direct proof of validity for the following argument. Restriction: DO NOT USE IMPLICATION OR DISTRIBUTION > means Horseshoe 1. B >(A>C) 2. (B > C) > F /A >

Algebra.Com
Question 1001436: Construct a direct proof of validity for the following argument.
Restriction: DO NOT USE IMPLICATION OR DISTRIBUTION > means Horseshoe
1. B >(A>C)
2. (B > C) > F /A > F



Answer by Edwin McCravy(20054)   (Show Source): You can put this solution on YOUR website!
The restriction only says not to use "implication".  
It does NOT say not to use "MATERIAL implication".

 1.  B > (A > C)
 2.  (B > C) > F      /A > F

 3. B > (~A v C)      1, Material implication
 4. ~B v (~A v C)     3, Material implication
 5. ~B v (C v ~A)     4, Commutation
 6. (~B v C) v ~A     5, Association
 7. (B > C) v ~A      6, Material implication
 8. ~A v (B > C)      7, Commutation
 9. A > (B > C)       8, Material implication
10. A > F            9,2, Hypothetical syllogism

Edwin

RELATED QUESTIONS

Construct a formal proof of validity for the following argument ~B v [(C⊃D) ·... (answered by math_helper)
construct a formal proof of validity for the following argument. 1. (M ⊃ N)... (answered by Edwin McCravy)
Good morning sir's and ma'ams..Kindly help me answer the following: Construct a formal... (answered by robertb)
How do you construct a formal proof for the following argument: A ^ (B v C) to conclude... (answered by Adam)
Construct a formal proof for the following argument 1. P>R 2. (Q&P)vP... (answered by Edwin McCravy)
please help to construct a formal proof of validity 1.p>q... (answered by MathLover1)
I know it's a lot, but I've got no where else to go. Please. > is an if/then symbol (answered by richwmiller)
INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following... (answered by Edwin McCravy)
INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following... (answered by Edwin McCravy)
INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following... (answered by jim_thompson5910)