某个命题与正整数有关,若当时该命题成立,那么可推得当时该命题也成立,现已知当时该命题不成立,那么可推得( )
执行右面的程序框图,则输出的S=
已知表示直线,表示平面,给出下列四个命题,其中真命题为
已知点满足,集合,在集合中任取一点,则恰好取到点的概率为
右图是一个几何体的三视图,根据图中数据,可得该几何体的体积是
已知,直线与圆相切,则是的