欢迎访问大师范文AI写作助手,如没有想要的内容请与本站万能的AI助手联系。

已知下列事实: (1)超市(Supermarket)卖(Sail)的商品(Goods)便宜(Cheap)。 (2)王(Wang)买(Buy)需要的(Want)便宜商品。 (3)自行车(Bicyc

分享 时间: 加入收藏 我要投稿 点赞
2
根据已知事实,我们可以列出以下前提:

1. Sail(super, Goods) ∧ Cheap(Goods)
2. Want(Wang, Goods) ∧ Cheap(Goods)
3. Goods(Bicycle) ∧ Sail(super, Bicycle)
4. Want(Wang, Bicycle)
5. ∀x(Want(Wang, x) → Sail(super, x)) // 王想要的超市都有卖
6. ∀x(Want(Zhao, x) → Want(Wang, x)) // 赵跟随王买同样的商品

现在我们来回答问题:

(1) 为了证明王买自行车,我们可以采用反证法。假设王不买自行车,则根据前提4,王需要的商品不是自行车。根据前提2和5,王需要的商品是便宜的,并且超市有卖。根据前提1,超市卖的商品都是便宜的,因此王需要的商品一定是超市卖的。但是根据前提3,自行车是超市卖的商品,因此王需要的商品必须是自行车。这与假设矛盾,因此假设不成立,王买自行车。

(2) 根据前提6,赵跟随王买同样的商品。因此赵买的商品与王买的商品相同,即赵买自行车。

精选图文

221381
领取福利

微信扫码领取福利

已知下列事实:

(1)超市(Supermarket)卖(Sail)的商品(Goods)便宜(Cheap)。

(2)王(Wang)买(Buy)需要的(Want)便宜商品。

(3)自行车(Bicyc

微信扫码分享

阅读并接受《用户协议》
注:各登录账户无关联!请仅用一种方式登录。


用户注册协议

一、 本网站运用开源的网站程序平台,通过国际互联网络等手段为会员或游客提供程序代码或者文章信息等服务。本网站有权在必要时修改服务条款,服务条款一旦发生变动,将会在重要页面上提示修改内容或通过其他形式告知会员。如果会员不同意所改动的内容,可以主动取消获得的网络服务。如果会员继续享用网络服务,则视为接受服务条款的变动。网站保留随时修改或中断服务而不需知照会员的权利。本站行使修改或中断服务的权利,不需对会员或第三方负责。

关闭