and both true consequences of the statement "August 13 is my birthday" (an abbreviated form of ).

Of the possible forms of "mixed hypothetical syllogisms," two are valid and two are invalid. Affirming the antecedent (modus ponens) and denying the consequent (modus tollens) are valid. Affirming the consequent and denying the antecedent are invalid.

Additional examples