电大1009《离散数学（本）》在线形考任务5答案（课程号：50501）

 

：表达式中的辖域是(（）)． A.;;; 

：命题公式(_P_∨_→__Q_)_→__R_的析取范式是(（）)． A.┐(_P_∨_Q_)∨_R_ B.(_P_∨_Q_)∨_R_ B.(_P_∧_Q_)∨_R_ B.(┐_P_∧┐_Q_)∨_R_ 

：命题公式(_P_∨_Q_)的合取范式是(（）)． A.(_P_∧_Q_) B.(_P_∧_Q_)∨(_P_∨_Q_) B.┐(┐_P_∧┐_Q_) B.(_P_∨_Q_) 

：命题公式的析取范式是(（）)． A.;;; 

：命题公式的主合取范式是(（）)． A.;;; 

：命题公式为(（）) A.重言式 B.矛盾式 B.合取范式 B.可满足式 

：前提条件的有效结论是(（）)． A._┐_Q B._P_ B._┐P_ B._Q_ 

：设_A_（_x_）：_x_是人，_B_（_x_）：_x_是教师，则命题“有人是教师”可符号化为（）． A.;;; 

：设_A_（_x_）：_x_是书，_B_（_x_）：_x_是数学书，则命题“不是所有书都是数学书”可符号化为（）． A.;;; 

：设_P_：我将去打球，_Q_：我有时间．命题“我将去打球，仅当我有时间时”符号化为(（）)． A.;;; 

：设个体域_D_={_a_,_b_,_c_}，那么谓词公式消去量词后的等值式为(（）)． A.;;; 

：设个体域_D_是整数集合，则命题的真值是（）． A.T B.不确定 B.F B.以上说法都不是 

：设个体域为整数集，则公式的解释可为(（）)． A.存在一整数_x_对任意整数_y_满足_x+y_=0 B.任一整数_x_对任意整数_y_满足_x+y_=0 B.对任一整数_x_存在整数_y_满足_x+y_=0 B.存在一整数_x_有整数_y_满足_x+y_=0 

：设命题公式_G_：，则使公式_G_取真值为1的_P_，_Q_，_R_赋值分别是(（）)． A.1,0,0 B.0,1,0 B.0,0,1 B.0,0,0 

：谓词公式(_x_)(_A_(_x_)→_B_(_x_)∨_C_(_x_，_y_))中的约束变元为（）。 A._x_，_y_都是约束变元 B._x_，_y_都是自由变元 B._x_是约束变元，_y_都是自由变元 B._x_是自由变元，_y_都是约束变元 

：下列等价公式成立的为(（）)． A._┐P_∧_P_┐_Q_∧_Q_ B._P_∧_Q__P_∨_Q_ B._┐Q→__P__P→__Q_ B._┐P_∨_P__Q_ 

：下列等价公式成立的为(（）)． A._┐P_∧┐_Q__P_∨_Q_ B._┐P_∨(_P_∧_Q_)_Q_ B._P→_(┐_Q→__P_)┐_P→_(_P→__Q_) B._Q→_(_P_∨_Q_)┐_Q_∧(_P_∨_Q_) 

：下列公式(（）)为重言式． A.;;; 

：下列公式成立的为(（）)． A.;;; 

：下列公式中(（）)为永真式． A.;;;