How is "modus ponens" used in mathematics, computer science, and philosophy?