设P(x,y)为x整除y,Q______ 为x<2,个体域为{1,2},则公式yx(P(x,y)Q______ )的真值为______ ______ 。
举一反三
- 设个体域为{a,b},并对P(x,y)设定为P(a,a)=1,P(a,b)=0,P(b,a)=0,P(b,b)=1，则公式(∀x)(∀y)(P(x, y)←→P(y,x))的真值为 。
- 【单选题】公式(∀x)[P(x)∧Q(x, A) →(∃y)[R(x, y)∨S(y)]]中，∀x的辖域为 , ∃y的辖域为 。 A. P(x); R(x, y) B. P(x)∧Q(x, A); R(x, y) C. P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y) D. P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y)∨S(y)
- 设个体域为整数集,下列真值为真的公式是(). A: ∃y∀x(x−y=2) B: ∀x∀y(x−y=2) C: ∀x∃y(x−y=2) D: ∃x∀y(x−y=2)
- 公式("x)(P(x)→R(x))∧($y)Q(x,y)中"x的辖域是（P(x)→R(x))∧($y)Q(x,y) 。
- 谓词公式∀xP(x)→∀xQ(x)∨∃yR(y)的前束范式为 A: ∀x∀z∃y(P(x)→Q(z) ∨ R( y)) B: ∃x∀z∃y(P(x)→Q(z) ∨ R( y)) C: ∀x∃y(P(x)→Q(x) ∨ R( y)) D: ∃x∀y(P(x)→Q(x) ∨ R( y))