• 2022-06-17
    $4、设F(x):x是学生,G(x):x是体育运动,H(x,y)x喜欢y。命题“所有学生都喜欢某种体育运动”的符号化公式是().$
    A: $ \exists y(G(y) \rightarrow \forall x(F(x) \wedge H(x, y))) $
    B: $\exists y(G(y) \wedge \forall x(F(x) \rightarrow H(x, y))) $
    C: $ \forall \mathrm{x} \exists \mathrm{y}(\mathrm{G}(\mathrm{y}) \rightarrow(\mathrm{F}(\mathrm{x}) \wedge \mathrm{H}(\mathrm{x}, \mathrm{y})))$
    D: $ \exists y(G(y) \rightarrow \forall x(F(x) \rightarrow H(x, y))) $
  • B

    举一反三

    内容

    • 0

      设F(x):x是学生,G(x):x是体育运动,H(x,y):x喜欢y。命题“所有学生都喜欢某种体育运动”的符号化公式是?

    • 1

      对公式∀x(F(x)→G(x,y))∧H(x,y)做代替,则下面公式中正确的是( )。 A: ∀x(F(x)→G(x,y))∧H(z,y) B: ∀x(F(x)→G(y,z))∧H(u,y) C: ∀z(F(z)→G(x,y))∧H(y,y) D: ∀z(F(x)→G(z,y))∧H(x,y)

    • 2

      令F(x):x是火车;G(y):y是汽车;H(x):x比y快.命题“某些汽车比所有的火车慢"可表示为() A: 彐y(G(y)→∀x(F(x)∧H(x,y))) B: 彐y(G(y)∧∀x(F(x)→H(x,y))) C: ∀x彐y(G(y)→(F(x)∧H(x,y))) D: 彐y(G(y)→∀x(F(x)→H(x,y)))

    • 3

      中国大学MOOC: 设F(x):x是学生,G(x):x是体育运动,H(x,y):x喜欢y。命题“所有学生都喜欢某种体育运动”的符号化公式是?

    • 4

      在谓词公式("x)(F(x)ÞG(y))Þ($y)(H(x)∧L(x,y,z))中,("x)的辖域是() A: (F(x)ÞG(y)) B: F(x) C: (F(x)ÞG(y))Þ($y)(H(x)∧L(x,y,z)) D: ("x)(F(x)