题目为随机，用查找功能（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_)”
“题目：下列公式 ( )为重言式．
: ; ; ;”
“题目：下列公式成立的为( )．
: ; ; ;”
“题目：下列公式中 ( )为永真式．
: ; ; ;”
