This, in logic, is called “Modus Tollendo Tollens”.

The modus ponens rule may be written in sequent notation:

The history of the inference rule modus tollens goes back to antiquity.[8]

Likewise, every use of modus ponens can be converted to a use of modus tollens and transposition.

Competent scientists also reason by the valid form of modus tollens:

This is a logically valid argument, following the rule of inference called modus tollens.

The first to explicitly describe the argument form modus tollens was Theophrastus.[4]

The history of the inference rule modus tollens goes back to antiquity.[3]

The first to explicitly describe the argument form modus tollens were the Stoics.[7]

In propositional logic, modus tollens (/ˈmoʊdəs ˈtɒlɛnz/; MT; also modus tollendo tollens (Latin for "mode that by denying denies")[1] or denying the consequent)[2] is a valid argument form and a rule of inference.

In propositional logic, modus tollens[1][2][3][4] (or modus tollendo tollens and also denying the consequent)[5] (Latin for "the way that denies by denying")[6] is a valid argument form and a rule of inference

In propositional logic, modus tollens (/ˈmoʊdəs ˈtɒlɛnz/; MT; also modus tollendo tollens (Latin for "mode that by denying denies")[1] or denying the consequent)[2] is a valid argument form and a rule of inference.

Modus tollens – P implies Q; not Q, therefore not P

In propositional logic, modus tollens[1][2][3][4] (or modus tollendo tollens and also denying the consequent)[5] (Latin for "the way that denies by denying")[6] is a valid argument form and a rule of inference

and modus tollens: “If P, then Q. No Q, therefore no P.