Logic - Part 9 - Modus Ponens, Modus Tollens, and Hypothetical Syllogisms