在一阶逻辑命题中设F(x)：x是学生，G(x)：x喜欢吃糖。则命题“不是所有学生都喜欢吃糖。”可符号化为 。
举一反三
- 设F（x）：x是学生，G（x）：x是体育运动，H（x，y）：x喜欢y。命题“所有学生都喜欢某种体育运动”的符号化公式是？
- 中国大学MOOC: 设F（x）：x是学生，G（x）：x是体育运动，H（x，y）：x喜欢y。命题“所有学生都喜欢某种体育运动”的符号化公式是？
- 设：F(x):x是学生，G(x):x是努力的。命题“没有一个学生不是努力的”可符号化为（）。 A: ┐∀x(F(x)∧┐G(x)) B: ┐∀x(F(x)→┐G(x)) C: ┐∃x(F(x)∧┐G(x)) D: ┐∃x(F(x)→┐G(x))
- 设F(x):x是学生,G(x):x是体育运动,H(x,y):x喜欢y。命题“所有学生都喜欢某种体育运动”的符号化公式是().(5.0) A: ∃y(G(y)→∀x(F(x)∧H(x,y))) B: ∀x(F(x)→∃y(G(y)∧H(x,y))) C: ∀x∃y(G(y)→(F(x)∧H(x,y))) D: ∃y(G(y)→∀x(F(x)→H(x,y)))
- 设F（x）：x是学生，G（x）：x是体育运动，H（x，y）：x喜欢y。命题“所有学生都喜欢某种体育运动”的符号化公式是？ A: [img=244x25]1803947a95bfa1c.png[/img] B: [img=237x25]1803947a9ff5e96.png[/img] C: [img=244x25]1803947aa9b52e7.png[/img] D: [img=252x25]1803947ab53a206.png[/img]