El "modus tollendo ponens" puede escribirse formalmente como: