国开电大22春学期离散数学(本)形考任务5数理逻辑部分概念及性质答案

题目为随机,用查找功能(Ctrl+F)搜索题目

"题目:表达式中的辖域是(    ).
: ; ; ;"
"题目:命题公式 (_P_∨_→__Q_)_→__R_的析取范式是 (    ).
: ┐(_P_∨_Q_)∨_R_
; (_P_∨_Q_)∨_R_
; (_P_∧_Q_)∨_R_
; (┐_P_∧┐_Q_)∨_R_"
"题目:命题公式 (_P_∨_Q_) 的合取范式是 (    ) .
: (_P_∧_Q_)
; (_P_∧_Q_)∨(_P_∨_Q_)
; ┐(┐_P_∧┐_Q_)
; (_P_∨_Q_)"
"题目:命题公式的析取范式是(    ).
: ; ; ;"
"题目:命题公式的主合取范式是(    ).
: ; ; ;"
"题目:命题公式为(      )
: 重言式
; 矛盾式
; 合取范式
; 可满足式"
"题目:前提条件的有效结论是(    ).
: _┐_Q
; _P_
; _┐P_
; _Q_"
"题目:设_A_(_x_):_x_是人,_B_(_x_):_x_是教师,则命题“有人是教师”可符号化为(    ).
: ; ; ;"
"题目:设_A_(_x_):_x_是书,_B_(_x_):_x_是数学书,则命题“不是所有书都是数学书”可符号化为(    ).
: ; ; ;"
"题目:设_P_:我将去打球,_Q_:我有时间.命题“我将去打球,仅当我有时间时”符号化为(    ).
: ; ; ;"
"题目:设个体域_D_={_a_, _b_, _c_},那么谓词公式消去量词后的等值式为(    ).
: ; ; ;"
"题目:设个体域_D_是整数集合,则命题的真值是(   ).
: T
; 不确定
; F
; 以上说法都不是"
"题目:设个体域为整数集,则公式的解释可为(    ).
: 存在一整数_x_对任意整数_y_满足_x+y_=0
; 任一整数_x_对任意整数_y_满足_x+y_=0
; 对任一整数_x_存在整数_y_满足_x+y_=0
; 存在一整数_x_有整数_y_满足_x+y_=0"
"题目:设命题公式_G_:,则使公式_G_取真值为1的_P_,_Q_,_R_赋值分别是 (    ).
: 1, 0, 0
; 0, 1, 0
; 0, 0, 1
; 0, 0, 0"
"题目:谓词公式(_x_)(_A_(_x_)→_B_(_x_)∨_C_(_x_,_y_))中的约束变元为( )。
: _x_,_y_都是约束变元
; _x_,_y_都是自由变元
; _x_是约束变元,_y_都是自由变元
; _x_是自由变元,_y_都是约束变元"
"题目:下列等价公式成立的为(    ).
: _┐P_∧_P_┐_Q_∧_Q_
; _P_∧_Q__P_∨_Q_
; _┐Q→__P__P→__Q_
; _┐P_∨_P__Q_"
"题目:下列等价公式成立的为(    ).
: _┐P_∧┐_Q__P_∨_Q_
; _┐P_∨(_P_∧_Q_)_Q_
; _P→_(┐_Q→__P_)┐_P→_(_P→__Q_)
; _Q→_(_P_∨_Q_)┐_Q_∧(_P_∨_Q_)"
"题目:下列公式 (    )为重言式.
: ; ; ;"
"题目:下列公式成立的为(    ).
: ; ; ;"
"题目:下列公式中 (    )为永真式.
: ; ; ;"

© 版权声明
THE END
喜欢就支持一下吧
点赞0 分享