in artificial intelligence, modus ponens

listen to the pronunciation of in artificial intelligence, modus ponens