El "modus ponendo tollens" puede escribirse formalmente como: