“题目1：设_P_：我将去打球，_Q_：我有时间．命题 “我将去打球，仅当我有时间” 时符号化为( )．
: ; ; ;”
“题目2：命题公式的析取范式是 ( )
: ; ; ;”
“题目3：命题公式析取范式是( )．
: ; ; ;”
“题目4：下列公式成立的为( )．
: ; ; ;”
“题目5：下列公式 ( )为重言式．
: ; ; ;”
“题目6：设_A_（x）：x 是人，_B_（x）：x 是教师，则命题“有人是教师”可符号化为（ ）．
: $$ \lnot (ョx)(A(x)∧ \lnot B(x))$$
; $$(∀x)(A(x)∧B(x))$$
; $$ \lnot (∀x)(A(x)→B(x))$$
; $$(ョx)(A(x)∧B(x))$$”
“题目7：表达式中辖域是( )．
: _P_(_x_, _y_)
; ; _R_(_x_, _y_)
;”
“题目8：设个体域 _D_={_a_, _b_, _c_}，那么谓词公式去量词后的等值式为 ．
: ; ;”
“题目9：下列等价公式成立的为( )．
: ; ; ;”
“题目10：设个体域D是整数集合，则命题∀xョ y (x·y = y)的真值是（ ）．
: T
; F
; 不确定
; 以上说法都不是”
© 版权声明
分享是一种美德，转载请保留原链接
THE END
