※ 引述《phantomsq (小穎)》之銘言：
: 標題: [問題] 這三段論推論有效嗎？
: 時間: Tue Apr 1 09:19:04 2014
:
: 我想到一個問題，假如是以下的推論：
:
: 布瑪認為外星人都很善良
: 達爾是外星人
: 因此，布瑪認為達爾很善良
:
: 這推論似乎是無效的，
: 因為布瑪可能不知道達爾是外星人，
: 如此一來，就不一定認為達爾很善良。
:
我覺得這是一個非常好的問題。
分成三個部份回答。
就我們對於論証有效性的 pre-theoretic intuition而言,
這個論証的確是無效的,因為有可能前提皆真但結論為假。
(有可能布瑪認為外星人都很善良,但卻不知道達爾是外星人,而認為他很善良。)
就形式的有效性而言, 有一個比較直覺的符號化是無效論証:
B[P]: 布瑪認為P
Fx: x是外星人
Gx: x很善良
a: 達爾
I.
B[(x)(Fx