PUERTA | GATE-CS-2015 (Conjunto 2) | Pregunta 13

Considere las siguientes dos afirmaciones.

S1: If a candidate is known to be corrupt, then he will not be elected.
S2: If a candidate is kind, he will be elected.

¿Cuál de las siguientes afirmaciones se sigue de S1 y S2 según las reglas lógicas de inferencia de sonido?
(A) Si se sabe que una persona es corrupta, es amable
(B) Si no se sabe que una persona es corrupta, no es amable
(C) Si una persona es amable, no se sabe que sea corrupta
(D) ) Si una persona no es amable, no se sabe que sea corrupta

Respuesta: (C)
Explicación:

S1: If a candidate is known to be corrupt, then 
    he will not be elected.
S2: If a candidate is kind, he will be elected.

If p → q, then ¬q → ¬p
So from S1, elected → not corrupt
and S2 is,   kind → elected

Therefore, kind → not corrupt

Cuestionario de esta pregunta