"题目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