Del mismo modo, cada uso de "modus ponens" se puede convertir a un uso de modus tollendo tollens y transposición.