在自然推理系统中,构造用自然语言描述的推理的证明。
1.实数不是有理数就是无理数。无理数都不是分数。所以,若有分数,则必有有理数(个体为实数集R)。
2.人都喜欢吃蔬菜。但不是所有的人都喜欢吃鱼。所以,存在喜欢吃蔬菜而不喜欢吃鱼的。
题11-8图(a)所示简支梁,由No28工字钢制成,在集度为q的均布载荷作用下,测得横截面C底边的纵向正应变ε=3.0X10-4,试计算梁内的最大弯曲正应力,已知钢的弹性模量E=200GPa,a=1m。
设f(x)在(-∞,+∞)内是正值连续函数,则().
A.在(-∞,+∞)内单调增加
B.在(-∞,+∞)内单调减小
C.在(-∞,0)内单调增加,而在(0,+∞)单调减小
D.在(-∞,0)内单调减小,而在(0,+∞)单调增加