babara公式：
M 都是 P
S 都是 M
────
S 都是 P
外星人是布瑪的菜，
達爾是外星人，
達爾是布瑪的菜。
三段論法只保證推論(有效性)，
不擔保真假(健全性)，
若命題有錯或不清楚，就會覺得怪怪的，因為欠缺健全性。
※ 引述《a5378623 (黑雲)》之銘言：
: ※ 引述《phantomsq (小穎)》之銘言：
: : 布瑪喜歡外星人
: : 達爾是外星人
: : 因此，布瑪喜歡達爾
: : 如題，此推論是否有效？
: 回文多說幾句好了。
: 為什麼要強調是：布瑪喜歡「所有」外星人呢？
: 因為，日常語境中，我說：我喜歡狗。
: 感覺上就是我喜歡所有的狗，假設有隻狗叫小黑，那你可以說我喜歡小黑。
: 可是，如果我說：我喜歡女人。
: 並不會是我喜歡所有女人，例如有個女人叫小花，她很醜，我就不會喜歡她。
: 簡單來說，日常語境是多變的，為了避免混淆，還是說清楚好些。