※ 引述《phantomsq (小穎)》之銘言：
: 標題: Re: [問題] 這三段論推論有效嗎？
: 時間: Fri Apr 4 11:33:07 2014
:
: 　1#.布瑪認為外星人都善良
: 　2.布瑪認為達爾是外星人
: 　3.布瑪認為貝吉塔不善良
: 　4.達爾是貝吉塔
: 　

這是intensional context嗎?或者非extensional亦非intensional?謝謝數龜，這樣形式化看起來相當符合直覺呢~~原來「布瑪喜歡外星人」也可以用類似方式形式化嗎？