公式∀x(P(x)∧F)∨∃yQ(y)的对偶式是（ ）。
A: ∃x(P(x)∧T)∨∀yQ(y)
B: ∃x(P(x)∨T)∧∀yQ(y)
C: ∀x(P(x)∨T)∧∃yQ(y)
D: ∃x(P(x)∧F)∨∀yQ(y)
A: ∃x(P(x)∧T)∨∀yQ(y)
B: ∃x(P(x)∨T)∧∀yQ(y)
C: ∀x(P(x)∨T)∧∃yQ(y)
D: ∃x(P(x)∧F)∨∀yQ(y)
B
举一反三
- 公式∃x(P(x)∨F)∧∀yQ(y)的对偶式是 （公式中的“F”表示“假”）
- ∀x P(x)∧∃yQ(x,y)整个谓词公式中只有一个量词。∀x的辖域为P(x),P(x)中的x和Q(x,y) 中的y是约束出现,Q(x,y)中的x是自由出现
- 贝叶斯公式是下列哪一个 A: P(y│x)=(P(x│y)P(x))/P(y) B: P(y│x)=(P(x│y))/P(x)P(y) C: P(y│x)=(P(x│y)P(y))/P(x) D: P(y│x)=P(x)P(y)/(P(x│y) )
- 对谓词公式（∀x)((∃y)﹁P(x，y)∨(∃y)( Q(x，y) ∧﹁R(x，y)))化简可以得到包含哪几项的子句？ A: P(x,f(x))∨Q(x,g(x)) B: ﹁P(x,f(x))∨Q(x,g(x)) C: ﹁P(y,f(y))∨﹁R(y,g(y)) D: P(y,f(y))∨R(y,g(y))
- 下列哪一个不是一阶线性微分方程？ A: y'+p(x)y=f(x) B: y'+p(x)y=f(x)y C: y'+xy=f(x)y D: y'+p(x)/y=f(x)
内容
- 0
∃ x∀ y ¬P(x , y)的否定是 A: ¬ ∀ x∃ y ¬ P(x , y) B: ∃ x ∀ y P(x , y) C: ∀ x ∃ y P(x , y) D: ∀ y∃ x P(x , y)
- 1
判断下列公式是否为可合一，若可合一，则求出其最一般合一。（1）P（a，b），P（x，y）（2）P（f（x），b），P（y，z）（3）P（f（x），y），P（y，f（b））（4）P（f（y），y，x），P（x，f（a），f（b））（5）P（x，y），P（y，x）
- 2
下列公式中（）不是命题。 A: (x)P(x) B: (x)P(x) C: (x)(P(x)p(y)) D: (x)(y)(P(x)p(y))
- 3
下列哪个不是谓词公式() A: ∀x(P(x)→Q(x)) B: ∃z(∀x∃y∨P(z)) C: ∃x(P(x)∧P(y)) D: ∃y(∀x(P(x,y))→∀x(P(x)))
- 4
下列哪个不是谓词公式() A: ∀x(P(x)→Q(x)) B: ∃z(∀x∃y∨P(z)) C: ∃x(P(x)∧P(y)) D: ∃y(∀x(P(x,y))→∀x(P(x)))