The invalid argument form known as denying the antecedent has this pattern:

Select one:

a. If p, then q. q. Therefore, p.

b. If p, then q. Not p. Therefore, not q.

c. If p, then q. If q, then r. Therefore, if p, then r.

d. If p, then q. p. Therefore, q.