设个体域A={a,b},则谓词公式∃x(F(x)∧G(x))消去量词后，看表示为 。
举一反三
- “好人自有好报”可用谓词公式表示如下：设F(x)：x是好人；G(x)：x会有好报，则命题符号化为：∀x(F(x)→G(x))。
- 如果论域是集合{a,b,c},公式(∀x)(R(x)→Q(x))消去量词后表示为__________。
- 设个体域D={a, b}，消去公式∀xF(x)→∃yG(y)中的量词后得（ ） A: (F(a)→G(a))∧(F(b)→G(b)) B: (F(a)∨F(b))→(G(a)∧G(b)) C: (F(a)∧F(b))→(G(a)∨G(b)) D: (F(a)∨F(b))→(G(a)∨G(b))
- 设个体域D＝{1, 2, 3}，A(x)为“x大于3”，则谓词公式([img=8x14]17e4385a99bb660.jpg[/img]x)A(x) 的真值为__________．
- “有人不会唱歌。”可用谓词公式表示如下：设F(x)：x是人；G(x)：x会唱歌。则命题符号化为：