“好人自有好报”可用谓词公式表示如下：设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))