科数网
试题 ID 11693
【所属试卷】
中央广播电视大学《离散数学》2018年7月份试卷
设 $A(x): x$ 是人, $B(x): x$ 是运动员, 则命题 “有的人是运动员”可符号化为
A
$\urcorner(\forall x)(A(x) \rightarrow B(x))$
B
$\urcorner(\exists x)(\neg A(x) \wedge \neg B(x))$
C
$(\forall x)(A(x) \wedge B(x))$
D
$(\exists x)(A(x) \wedge B(x))$
E
F
答案:
答案与解析仅限VIP可见
解析:
答案与解析仅限VIP可见
设 $A(x): x$ 是人, $B(x): x$ 是运动员, 则命题 “有的人是运动员”可符号化为
$\urcorner(\forall x)(A(x) \rightarrow B(x))$ $\urcorner(\exists x)(\neg A(x) \wedge \neg B(x))$ $(\forall x)(A(x) \wedge B(x))$ $(\exists x)(A(x) \wedge B(x))$
答案
答案与解析仅限VIP可见
解析
答案与解析仅限VIP可见