lawyer的一道题目所涉及的逆否命题推理&assumption题型疑问

ayasin

首先摘录lawyer解题步骤里最后给出的一道逻辑题，可以看出选项在a和e之间，最终由于a选项虽然推理方向对，但没有提及observation而被否掉。根据该题类型结合lawyer及bible分类应当归类为assumption类型，该类型需要找选项用于填补gap，对于此种gap需要将所有stimulus中的信息包含在一个选项中吗，包含的情况（以选项A为例）可不可以作为正确选项，求指教，谢谢。

例题
No mathematical proposition can be proven true by observation. It follows that it is impossible to know any Mathematical proposition to be true.
The conclusion follows logically if which one of the following is assumed?
(a) only propositions that can be proven true can be known to be true
(b) observation alone cannot be used to prove the truth of any proposition
(c) if a proposition can be proven true by observation then it can be known to be true.
(d) knowing a proposition to be true is impossible only if it cannot be proved true by observation
(e) knowing a proposition to be true requires proving it true by observation
我给这道题的目的有两个：1是说明充分型假设（假设选项，原文结论能合理推出）的TEST（答案检验法）。2是这种题易混的答案。
1。充分型假设的TEST：将选项加入到原文推理中，看看能否推出原文结论。即：正确答案+原文前提=原文结论。
2。这种题最易混的答案为：相反的推理。即变为从结论往前提推。而正确答案常是以逆否命题的面目出现。所以增加了难度。
3。做法：一是找出原文的推理。特别注意从那里推向那里。二是找出推理中的GAP。排除没有这个GAP的概念的选项，剩下常只有两个。看着两个那个是推理相反的选项，排除掉它。剩下的就是正确的。或者用test去对，看那个符合test。
该题：推理：因为 mathematical proposition no prove by observation， 所以mathematical proposition impossible know to be true(概念跳跃为prove by observation，know)。推理方向从no prove by observation到 impossible know。（注意：这里没有充分必要关系，即不能将原文写成no prove by observqation---〉impossible know。）
A：意思为proposition known to be true--->proposition can be prove。该选项很容易混。因为推理方向对：逆否命题从no
Prove 到impossible know。且概念也很象，包含和被包含的概念（proposition包含mathematical proposition），概念比原文大在
这类题中是允许的。但它错在没有说明prove的方式，原文有说明prove的方式为by observation。这也是和e选项的唯一区别。所以a
选项加by observation便为答案。
B：没有know的概念。错
C：can be prove by observation---〉 known to be true。逆否命题为impossible known to be true--->cannot be prove by Observation。和原文推理相反。错
D：impossible known to be true--->cannot be prove by observation.和原文推理相反。错。
E：known to be true--->can be prove by observation（注意require带必要条件）。逆否命题为：cannot be prove by observation---〉impossible known to be true。和原文推理方向一致。正确答案。

ayasin

顶一下,求解。