• 2022-07-29
    对任意的公式P(x),Ø$xØP(x)逻辑等值于( )。
    A: Ø$xP(x)
    B: "xP(x)
    C: Ø"xØP(x)
    D: ØØ"yP(y)
  • B,D

    内容

    • 0

      以下推理过程是正确的.(1) ("x)($y)P(x,y) P规则(2) ("x) P(x,a) US, (1) A: 正确 B: 错误

    • 1

      对公式∀x∀y(P(x,y)∨Q(x,z))∧∃xP(x,y)使用代入和换名规则后得到的公式为( )。 A: ∀u∀y(P(u,y)∨Q(u,z))∧∃wP(w,s) B: ∀x∀u(P(x,u)∨Q(x,z))∧∃xP(x,y) C: ∀x∀y(P(x,y)∨Q(x,u))∧∃xP(x,s) D: ∀x∀y(P(x,y)∨Q(x,z))∧∃uP(u,z)

    • 2

      下列命题能表明用全称量词可以定义存在量词的是: A: 对任意公式A,"xA与Ø$xØA逻辑等值。 B: 对任意公式A,$xA与Ø"xØA逻辑等值。 C: 对任意公式A,Ø"xA与$xØA逻辑等值。 D: 对任意公式A,"xØA与Ø$xA逻辑等值。

    • 3

      设个体域A={a,b},公式"xP(x)Ù$xS(x)在A中消去量词后应为 A: P(x)ÙS(x) B: (P(a)ÙP(b))Ù(S(a)ÚS(b)) C: P(a)ÙS(b) D: P(a)ÙP(b)ÙS(a)ÙS(b)

    • 4

      int x = 3,y = 4;以下哪条输出语句正确? A: Console.WriteLine("x={x},y={y}", x,y); B: Console.WriteLine("x={x},y={y}"); C: Console.WriteLine("x={0},y={1}", x,y); D: Console.WriteLine("x={1},y={2}", x,y);