Modus ponens

Home / Glossary / Modus ponens

Modus ponens is a rule of inference under which, given a knowledge base which contains the formulas “A” and “A implies B”, one may conclude “B”.

7718 Wood Hollow Drive, Suite 250
Austin, TX 78731, USA