Explanation: Logical inference algorithm can be solved be using logical equivalence, Validity and satisfiability. 3. From which rule does the modus ponens are derived?
A. Inference rule
B. Module rule
C. Both a & b
D. None of the mentioned
Answer:A
Explanation: Logical inference algorithm can be solved be using logical equivalence, Validity and satisfiability. 3. From which rule does the modus ponens are derived?
A. Inference rule B. Module rule C. Both a & b D. None of the mentioned
Explanation: Inference rule contains the standard pattern that leads to desired goal. The best form of inference rule is modus ponens. 4. Which is also called single inference rule?