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