※ 引述《phantomsq (小颖)》之铭言：
: 标题: Re: [问题] 这三段论推论有效吗？
: 时间: Fri Apr 4 11:33:07 2014
:
: 　1#.布玛认为外星人都善良
: 　2.布玛认为达尔是外星人
: 　3.布玛认为贝吉塔不善良
: 　4.达尔是贝吉塔
: 　

这是intensional context吗?或者非extensional亦非intensional?谢谢数龟，这样形式化看起来相当符合直觉呢~~原来“布玛喜欢外星人”也可以用类似方式形式化吗？