I think that would be a contrapositive, as the truth table is the same; unlike a converse or an inverse where the truth tables would be opposite But we’re also working with inductive logic here, so maybe truth tables aren’t the right tool to use anyway