考虑以下两个陈述。
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
这个问题的测验