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