谓词公式xP(x)→xP(x)的类型为永真式。
对
举一反三
- 谓词公式"xP(x)Ù$y(ØP(y))是矛盾式。
- 一阶逻辑公式∀xP(x)→∃xP(x)是（）。 A: 永真的 B: 永假的 C: 可满足的 D: 前束范式
- 设G、H是谓词公式，P是一个谓词，G＝[img=14x16]17d60d81544b19c.png[/img]xP(x),H＝[img=16x18]17d60d81690de9d.png[/img]xP(x),则公式G[img=20x15]17d60d81752176d.png[/img]H是(). A: 前束范式. B: 可满足的 C: 永真的 D: 永假的
- 下面谓词公式中哪一个为永真式？ A: P（x）® Q（x） B: ("x）P（x）®（$x）P（x) C: P（a）®（"x）P(x) D: Ø P（a）®（$x）P（x）
- 若个体域D中仅包含一个元素，则谓词公式∃yP(y)→∀xP(x)的真值为 。
内容
- 0
下面谓词公式中哪一个为永真式？ A: P（x）® Q（x） B: ("x）P（x）®（$x）P（x) C: P（a）®（"x）P(x) D: Ø P（a）®（$x）P（x）
- 1
对任意的公式P(x)，Ø$xØP(x)逻辑等值于（ ）。 A: Ø$xP(x) B: "xP(x) C: Ø"xØP(x) D: ØØ"yP(y)
- 2
对任意的公式P(x)，"xØP(x)逻辑等值于（ ）。 A: "xP(x) B: Ø$xP(x) C: Ø"xØP(x) D: Ø$yP(y)
- 3
公式∀x∀y(P(x,y)˄Q(x,y)→P(x,y))的类型是____。(注:填矛盾式或永真式)
- 4
对公式∀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)