Modus ponens

From AMS Glossary
Jump to: navigation, search


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.

Personal tools
Namespaces
Variants