※ 引述《phantomsq (小颖)》之铭言：
: 标题: [问题] 这三段论推论有效吗？
: 时间: Tue Apr 1 09:19:04 2014
:
: 我想到一个问题，假如是以下的推论：
:
: 布玛认为外星人都很善良
: 达尔是外星人
: 因此，布玛认为达尔很善良
:
: 这推论似乎是无效的，
: 因为布玛可能不知道达尔是外星人，
: 如此一来，就不一定认为达尔很善良。
:
我觉得这是一个非常好的问题。
分成三个部份回答。
就我们对于论証有效性的 pre-theoretic intuition而言,
这个论証的确是无效的,因为有可能前提皆真但结论为假。
(有可能布玛认为外星人都很善良,但却不知道达尔是外星人,而认为他很善良。)
就形式的有效性而言, 有一个比较直觉的符号化是无效论証:
B[P]: 布玛认为P
Fx: x是外星人
Gx: x很善良
a: 达尔
I.
B[(x)(Fx