+1 vote
224 views
Consider following two rules R1 and R2 in logical reasoning in Artificial Intelligence (AI) :

R1 : From α ⊃ β $\frac{and α} {Inter β}$ is known as Modus Tollens (MT)

R2 : From α ⊃ β $\frac{and ¬β} {Inter ¬α}$ is known as Modus Ponens (MP)

(1) Only R1 is correct.

(2) Only R2 is correct.

(3) Both R1 and R2 are correct.

(4) Neither R1 nor R2 is correct.
in Others | 224 views

Ans D.

R1 holds the correct definition for Modes ponens and R2 holds the correct definition of Modes Tollens.

by Active (3.8k points)