公式∃x(P(x)∨F)∧∀yQ(y)的对偶式是 （公式中的“F”表示“假”）
举一反三
- 公式∀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)
- 判断下列公式是否为可合一，若可合一，则求出其最一般合一。（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）
- 对谓词公式（∀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: ∀xF(x) ® ∃xF(x) B: ∀xF(x) ® F(y) C: F(y) ® ∃xF(x) D: ∃yF(y) ® F(x)
- 对公式∀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)