An argument is valid if the conclusion follows logically from the premises. Modus ponens: from p => q and p, conclude q. Modus tollens: from p => q and ~q, conclude ~p. Hypothetical syllogism: from p => q and q => r, conclude p => r. These rules of inference formalize correct logical deduction.