Cualquier regla Modus ponens puede probarse mediante una regla Modus Tollens y de transposición.