※ 引述《MathTurtle (恩典)》之铭言：
: 嗯, 这里有点复杂, 要再分两个case
: case 1.1 理解“布玛认为x是外星人”和“布玛认为x是善良”为extensional context
: 因此这里的x可以代换同指涉的词是合理的。
: 从这里你可以推出: x=y -> 布玛认为x是善良 iff 布玛认为y善良
: 也因此, 前提1-4是矛盾的!
: Case 1.2 主张“布玛认为x是外星人”是intensional context,
: 但认为句子1“对于所有x，如果布玛认为x是外星人，则布玛认为x善良”是合法的。
嗯...想来数龟认为该推论不合理的原因似乎和1.有关
所以我后来把问题改成了：
　1#.布玛认为外星人都善良
　2.布玛认为达尔是外星人
　3.布玛认为贝吉塔不善良
　4.达尔是贝吉塔
　

这样的话前提没有不一致, 但推论是无效的 (所以不合理)你觉得有什么方式我们可以从1#,2,3,4推出5来?嗯, 刚才想到另一个可能的推论方法。就是透过 If B[P] and P entails Q, then B[Q] 这条说错用 If B[if P then Q] then (if B[P] then B[Q]) 这条这条称为 (K) axiom然后还需要 If P is logically true, then B[P]这条叫做 necessitation rule