UGC-NET | UGC NET CS 2017 Jan – III | Question 55

Consider following two rules R1 and R2 in logical reasoning in Artificial Intelligence (AI) :
R1 : From α ⊃ β
and α/Inter β
is known as Modus Tollens (MT)
R2 : From α ⊃ β
and ¬β/Inter ¬α
is known as Modus Ponens (MP)
(A) Only R1 is correct.
(B) Only R2 is correct.
(C) Both R1 and R2 are correct.
(D) Neither R1 nor R2 is correct.

Answer: (D)
Explanation:
R1 : From α ⊃ β
and α/Inter β
is known as Modus Ponens (MP)
R2 : From α ⊃ β
and ¬β/Inter ¬α
is known as Modus Tollens (MT)
So, option (D) is correct.
Quiz of this Question