※ 引述《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