CGU-NET | UGC NET CS 2017 Ene – III | Pregunta 55

Considere seguir dos reglas R1 y R2 en razonamiento lógico en Inteligencia Artificial (IA):
R1: De α ⊃ β
y α/Inter β
se conoce como Modus Tollens (MT)
R2: De α ⊃ β
y ¬β/Inter ¬α
es conocido como Modus Ponens (MP)
(A) Solo R1 es correcto.
(B) Solo R2 es correcto.
(C) Tanto R1 como R2 son correctos.
(D) Ni R1 ni R2 son correctos.

Respuesta: (D)
Explicación:
R1: De α ⊃ β
y α/Inter β
se conoce como Modus Ponens (MP)
R2: De α ⊃ β
y ¬β/Inter ¬α
se conoce como Modus Tollens (MT)
Entonces, opción (D) es correcta.
Cuestionario de esta pregunta