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

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

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

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

微信扫码分享