在自然推理系统中,构造用自然语言描述的推理的证明。
1.实数不是有理数就是无理数。无理数都不是分数。所以,若有分数,则必有有理数(个体为实数集R)。
2.人都喜欢吃蔬菜。但不是所有的人都喜欢吃鱼。所以,存在喜欢吃蔬菜而不喜欢吃鱼的。
金凤扒鸡是一个享有盛誉的百年扒鸡品牌, 在石家庄销路很好, 深受当地百姓喜爱,每天一上市就会被抢购一空。为了打开北京市场,金凤扒鸡改进了工艺,用真空包装,延长了保质期,试图在北京各大超市打开销路,但是金凤扒鸡在北京却很难销售出去。下面除了哪一项,都有助于解决上述现象?A.北京人和石家庄人的饮食习惯不同。他们更喜欢吃烤鸭而不是扒鸡。B.恒慧通烧鸡也采用真空包装,保质期一样长,在北京的销路却很好。C.人们喜欢吃刚出锅的新鲜扒鸡,保质期短的反而更受消费者青睐。D.虽然金凤扒鸡是百年品牌,但是它的销售地点仅在石家庄市区,北京人对这个品牌不熟悉。