题目

祖暅是我国古代的伟大科学家，他在5世纪末提出祖暅：“幂势即同，则积不容异”，意思是：夹在两个平行平面之间的两个几何体，被平行于这两个平面的任意一个平面所截，若截面面积都相等，则这两个几何体的体积相等. 祖暅原理常用来由已知几何体的体积推导未知几何体的体积，例如由圆锥和圆柱的体积推导半球体的体积，其示意图如图所示，其中图(1)是一个半径为R的半球体，图(2)是从圆柱中挖去一个圆锥所得到的几何体. (圆柱和圆锥的底面在下列命题中：①命题“?x∈R，x2+x+1≤0”的否定是“”?x∉R，X2+1+1≥0；②当x∈（0，π4）时，函数y=sinx+1sinx的最小值为2；③若命题“┐p”与命题“p或q”都是真命题，则命题q一定是真命题；④三个数60.7，log0.76的大小顺序是60.7＞0.76＞log0.76其中正确命题的序号是③④③④．