Consider following two rules R1 and R2 in logical reasoning in Artificial Intelligence (AI):
Consider following two rules R1 and R2 in logical reasoning in Artificial Intelligence (AI):
R1 : from α ⊃ β and α infer β is known as Modus Tollens (MT)
R2 : From α ⊃ β and ¬α infer ¬β is known as Modus Ponens (MP)
Show answerHide answer
Correct answer: (D) Neither R1 nor R2 is correct
Explanation
From α ⊃ β and α infer β is Modus Ponens (not Modus Tollens), and Modus Tollens infers ¬α from α ⊃ β and ¬β. R2 is not Modus Ponens either. So neither R1 nor R2 is correct.