📜  门| GATE-CS-2015(套装2)|问题 13

📅  最后修改于: 2021-09-27 06:08:58             🧑  作者: Mango

考虑以下两个陈述。

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.

根据合理的逻辑推理规则,从 S1 和 S2 得出以下哪一项陈述?
(A)如果一个人知道腐败,他是善良的
(B)如果一个人不知道腐败,他就不善良
(C)如果一个人是善良的,他不会被认为是腐败的
(D)如果一个人不善良,就不会知道他是腐败的答案: (C)
解释:

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

这个问题的测验