Question 71Asked in UGC NET Computer Science, June 2017 (Paper II & III, Selected Questions)

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)
  1. AOnly R1 is correct
  2. BOnly R2 is correct
  3. CBoth R1 and R2 are correct
  4. DNeither R1 nor R2 is correct
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.

From UGC NET Computer Science PYQ, June 2017 (Paper II & III, Selected Questions)

This is question 71 of UGC NET Computer Science PYQ, June 2017 (Paper II & III, Selected Questions). See all questions of this paper with answers, or attempt the paper as a timed online test to get your score and all-India rank.