進階三段邏輯題 - 推理遊戲

※ 引述《BGirlAlu (黃后)》之銘言：
: : 前提:
: : 1. Some Little Dog are not Mean Animals
: : 2. All Dogs are Animals
: : 結論:
: : Some dogs are mean
: : 請問這樣推論是否合理?
: : 網路上正確解答是 "不合理"
: : 理由是:
: : Minimal missing premise:
: : It exists something that is dog and mean or dog and not animal
: 我會這樣畫：
: ┌──────────┐
: │animals │
: │┌────────┐│
: ││dogs ││
: ││┌──────┐││
: │││little dog │││
: │││┌────┐│││
: ││││not mean││││
: │││└────┘│││
: ││└──────┘││
: │└────────┘│
: └──────────┘
這樣畫也不對
為何所有not mean的都是little dog?

前提:
1. Some Little Dog are not Mean Animals
2. All Dogs are Animals
結論:
Some dogs are mean

結論的反面敘述為 All dogs are not mean
此反面敘述也能通過前提1.和2.的檢驗
所以結論非恆真
推論有誤！

--