Modus tollens

Home / Glossary / Modus tollens

Modus tollens is a rule of inference which can be derived from modus ponens under which, given a knowledge base which contains the formulas “Not B” and “A implies B”, one may conclude “Not A”.

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