现有如下命题,其中所有真命题的序号是__()
A.若一个平面经过另一个平面的垂线,那么这两个平面相互垂直
B.若一个平面内的两条直线与另一个平面都平行,那么这两个平面相互平行
C.若两条平行直线中的一条垂直于直线m,那么另一条直线也与直线m垂直
D.若两个平面垂直,那么其中一个平面内与它们的交线垂直的直线与另一个平面也垂直
A.若一个平面经过另一个平面的垂线,那么这两个平面相互垂直
B.若一个平面内的两条直线与另一个平面都平行,那么这两个平面相互平行
C.若两条平行直线中的一条垂直于直线m,那么另一条直线也与直线m垂直
D.若两个平面垂直,那么其中一个平面内与它们的交线垂直的直线与另一个平面也垂直
第3题
A.“疾病都会治好”与“疾病都不会治好”
B.“有的城市是开放城市”与“有的城市不是开放城市”
C.“没有河流是入海的”与“没有河流不是入海的”
D.“所有人家都有彩电”与“没有人家有彩电”
第4题
A.①若一个平面内的两条直线与另一个平面平行,那么这两个平面相互平行
B.②若一个平面经过另一个平面的垂线,那么这两个平面相互垂直
C.③垂直于同一直线的两条直线相互平行
D.④若两个平面垂直,那么一个平面内与它们的交线不垂直的直线与另一个平面也不垂直
第5题
A.①②
B.①③
C.②④
D.③④
第6题
A.可判定性,即算法在有限步内判定命题的真伪
B.完备性,即所有能够从该形式化系统推导出来的命题,都可以从这个形式化系统推导出来
C.一致性,即一个命题不可能同时为真或为假
D.复杂性,即算法性能与输入数据大小相关
第7题
A.①②
B.②③
C.①④
D.③④