在自然推理系统中,构造用自然语言描述的推理的证明。
1.实数不是有理数就是无理数。无理数都不是分数。所以,若有分数,则必有有理数(个体为实数集R)。
2.人都喜欢吃蔬菜。但不是所有的人都喜欢吃鱼。所以,存在喜欢吃蔬菜而不喜欢吃鱼的。
A.甲既不是乙的充分条件,也不是乙的必要条件
B.甲是乙的必要条件,但不是乙的充分条件
C.甲是乙的充分必要条件
D.甲是乙的充分条件,但不是乙的必要条件
为有理数集。*为S上的二元运算,有
<a,b>*<x,y>=(ax,ay+b)
(1)*运算在S上是否可交换,可结合?是否为幂等的?
(2)*运算是否有单位元,零元?如果有,请指出,并求S中所有可逆元素的逆元.