Question 189539
Here, you'll use a hypothetical syllogism to isolate ~F (using modus ponens) which will then get you ~P (through a disjunctive syllogism).


<pre>
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
</pre>