1:设_P_:我将去打球,_Q_:我有时间.命题“我将去打球,仅当我有时间”时符号化为(()). A.;;;
2:命题公式的析取范式是(()) A.;;;
3:命题公式析取范式是(()). A.;;;
4:下列公式成立的为(()). A.;;;
5:下列公式(())为重言式. A.;;;
6:设_A_(x):x是人,_B_(x):x是教师,则命题“有人是教师”可符号化为().
7:表达式中辖域是(()). A._P_(_x_,_y_) B.;_R_(_x_,_y_) B.8:设个体域_D_={_a_,_b_,_c_},那么谓词公式去量词后的等值式为(). A.;;
9:下列等价公式成立的为(()). A.;;;
10:设个体域D是整数集合,则命题?xョy(x·y=y)的真值是(). A.T B.F B.不确定 B.以上说法都不是