《基于已知事实与归结反演证明的购物相关问题探讨》

根据已知事实，我们可以列出以下前提： 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，赵跟随王买同样的商品。因此赵买的商品与王买的商品相同，即赵买自行车。