ALT symbols don't work very well on here, so instead of
a horseshoe, I will use an arrow like this -> instead.
1. (Q -> ~J) -> (M -> ~D)
2. Q -> M
3. M -> ~J /Q -> ~D
4. Q -> ~J 2,3 Hypothetical Syllogism (HS)
5. M -> ~D 1,4 Modus Ponens (MP)
6. Q -> ~D 2,5 Hypothetical Syllogism (HS)
----------------------------------
1. T -> (Q & F)
2. T & C /Q v O
3. T 2, Simplification (Simp)
4. Q & F 1,3 Modus Ponens (MP)
5. Q 4, Simplification (Simp)
6. Q v O 5, Addition
Edwin
