“好人自有好报”可用谓词公式表示如下:设F(x):x是好人;G(x):x会有好报,则命题符号化为:∀x(F(x)→G(x))。
对
举一反三
- “好人自有好报”可用谓词公式表示如下:设F(x):x是好人;G(x):x会有好报。则命题符号化为:
- “有人不会唱歌。”可用谓词公式表示如下:设F(x):x是人;G(x):x会唱歌。则命题符号化为:
- 设谓词F(x)表示x<3,G(x)表示x是素数,则“存在小于3的素数”符号化为 A: "x(F(x) ∧ G(x)) B: $x(F(x) ∧ G(x)) C: $x(F(x) →G(x)) D: "x(F(x) → G(x))
- “没有免费的午餐”可用谓词公式表示如下:设M(x):x是午餐;F(x): x是免费的,则命题符号化为:┐∃x(M(x)∧F(x))。也可以表示为:∀x(M(x)→┐F(x))。
- 设F(x):x是人,G(x):x早晨吃米饭。命题“有些人早晨不吃米饭”在谓词逻辑中的符号化公式是( ) A: Ø $x(F(x)ÙG(x)) B: Ø $x(F(x) Ù Ø G(x)) C: Ø "x(F(x)®G(x)) D: Ø "x(F(x) ® Ø G(x))
内容
- 0
设F(x):x是人,G(x):x是大学生,则命题“有人是大学生”可符号化为( ) A: "x(F(x)ÙG(x)) B: $x(F(x)ÙG(x)) C: "x(F(x)®G(x)) D: $x(F(x)®G(x))
- 1
设F(): x是人,G(): x犯错误,命题“没有不犯错误的人”符号化为( )。 A: x(F(x) G(x)) B: x(F(x) G(x)) C: x(F(x) G(x)) D: x(F(x) G(x))
- 2
将下列命题符号化。 不是所有的实数都能表示成分数. 设 F(x):x 实数, G(x):x 能表示成分数. A: x(F(x)G(x)) B: x(F(x)G(x)) C: x(F(x)G(x)) D: x(F(x)G(x))
- 3
设:F(x):x是学生,G(x):x是努力的。命题“没有一个学生不是努力的”可符号化为()。 A: ┐∀x(F(x)∧┐G(x)) B: ┐∀x(F(x)→┐G(x)) C: ┐∃x(F(x)∧┐G(x)) D: ┐∃x(F(x)→┐G(x))
- 4
设F(x):x具有性质F,G(x):x具有性质G,则命题“对所有的x而言,若x具有性质F,则x就有性质G”符号化形式为 A: ∃x(F(x)→G(x)) B: ∃x(F(x)∧G(x)) C: ∀x(F(x)→G(x)) D: ∀x(F(x)∧G(x))