Consider the following two statements.
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.
Which one of the following statements follows from S1 and S2 as per sound inference rules of logic?
If a person is known to be corrupt, he is kind
If a person is not known to be corrupt, he is not kind
If a person is kind, he is not known to be corrupt
If a person is not kind, he is not known to be corrupt
This question is part of this quiz :
Propositional and First Order Logic.,GATE-CS-2015 (Set 2),Propositional Logic PYQ Quiz GATE CS,Discrete mathematics PYQ GATE QUIZ