# Modus ponens

From AMS Glossary

## modus ponens

(Latin for affirmative mode.) An inference rule that states that if

*A*is true, and*A*implies*B*, then*B*is also true.From AMS Glossary

(Latin for affirmative mode.) An inference rule that states that if *A* is true, and *A* implies *B*, then *B* is also true.