SOLUTION: 7)I can only use the 8 Rules of Inference. Need help!!! 1. (T → C) → ~F 2. S → C 3. T → S 4. F v ~P /~P ________________________ 5. 6. 7.

Algebra ->  Algebra  -> Proofs -> SOLUTION: 7)I can only use the 8 Rules of Inference. Need help!!! 1. (T → C) → ~F 2. S → C 3. T → S 4. F v ~P /~P ________________________ 5. 6. 7.       Log On

Ad: Algebra Solved!™: algebra software solves algebra homework problems with step-by-step help!
Ad: Algebrator™ solves your algebra problems and provides step-by-step explanations!

   

Question 189539: 7)I can only use the 8 Rules of Inference. Need help!!!
1. (T → C) → ~F
2. S → C
3. T → S
4. F v ~P /~P
________________________
5.
6.
7.
8.
9.

Answer by jim_thompson5910(21667) About Me  (Show Source):
You can put this solution on YOUR website!
Here, you'll use a hypothetical syllogism to isolate ~F (using modus ponens) which will then get you ~P (through a disjunctive syllogism). 

1. (T -> C) -> ~F
2. S -> C
3. T -> S
4. F v ~P /~P
----------------------
5.  T -> C            3,2   Hypothetical Syllogism
6.  ~F                1,5   Modus Ponens
7.  ~P                4,6   Disjunctive Syllogism