The second statement is the
a⇒ b
аль
OA. contrapositive
OB. contradiction
OC. converse
OD. inverse
of the first.