CGU-NET | UGC NET CS 2015 Dic – II | Pregunta 8

Relaciona los siguientes términos:

(A) (1)
(B) (2)
(C) (3)
(D) (4)

Respuesta: (A)
Explicación:

• La prueba vacía es una prueba en la que la implicación p → q es verdadera basada en el hecho de que p es falsa.
• La prueba trivial es una prueba en la que la implicación p → q es verdadera basada en el hecho de que q es verdadera.
• La prueba directa es una prueba en la que la implicación p → q es verdadera y que procede mostrando que q debe ser verdadera cuando p es verdadera.
• Prueba indirecta una prueba en la que la implicación p → q es verdadera que procede mostrando que p debe ser falsa cuando q es falsa.

Entonces, la opción (A) es correcta.
Cuestionario de esta pregunta