Conditional syllogisms have two premises and a conclusion, like categorical syllogisms, but the first premise has the form “If . . . then. . ..” The four basic types of conditional syllogism are

(a) affirming the antecedent and

(b) denying the consequent (both valid);

(c) affirming the consequent and

(d) denying the antecedent (both invalid). L01