babara公式：
M 都是 P
S 都是 M
────
S 都是 P
外星人是布玛的菜，
达尔是外星人，
达尔是布玛的菜。
三段论法只保证推论(有效性)，
不担保真假(健全性)，
若命题有错或不清楚，就会觉得怪怪的，因为欠缺健全性。
※ 引述《a5378623 (黑云)》之铭言：
: ※ 引述《phantomsq (小颖)》之铭言：
: : 布玛喜欢外星人
: : 达尔是外星人
: : 因此，布玛喜欢达尔
: : 如题，此推论是否有效？
: 回文多说几句好了。
: 为什么要强调是：布玛喜欢“所有”外星人呢？
: 因为，日常语境中，我说：我喜欢狗。
: 感觉上就是我喜欢所有的狗，假设有只狗叫小黑，那你可以说我喜欢小黑。
: 可是，如果我说：我喜欢女人。
: 并不会是我喜欢所有女人，例如有个女人叫小花，她很丑，我就不会喜欢她。
: 简单来说，日常语境是多变的，为了避免混淆，还是说清楚好些。