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”.

email

7000 North Mopac Expressway, Suite #200
Austin, TX 78731, USA