设A(x):x是学生,B(x):x去跑步,则命题“所有人都去跑步”可符号化为( ).

单选题 (5 分) 5分
A.
($x)(A(x)∧B(x))

B.
("x)(A(x) →B(x))

C.
($x)(A(x)∧┐B(x))

D.
("x)(A(x)∧B(x))
出自:国家开放大学离散数学(本)

完成拼图验证

按住下方滑块,将拼图拖到缺口处后松开。

拼图背景,将小拼图拖到缺口处
向右拖动滑块