La regla de "Modus Tollendo Ponens" puede escribirse en la notación subsiguiente: