Modus ponens

From AMS Glossary
Revision as of 20:32, 26 January 2012 by Perlwikibot (Talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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