设a:钟老师,F(x):x是湖南人,G(x):x在山西生活。命题“钟老师是湖南人,但他在山西生活。”可符号化为____。
F(a)∧G(a)；G(a)∧F(a)
举一反三
- 设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))
- 设L(x)：x是演员，J(x)：x是老师，A(x,y)：x佩服y. 那么命题“所有演员都佩服某些老师”符号化为
- 5、设L(x)：x是演员，J(x)：x是老师，A(x , y)：x钦佩y，命题“所有演员都钦佩某些老师符号化为（ ）
- 设：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))
- 设F(x)：x是鸟,G(x)：x会飞.命题“存在不会飞的鸟.”可符号化为
内容
- 0
设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))
- 1
设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))
- 2
在一阶逻辑命题中设F(x)：x是学生，G(x)：x喜欢吃糖。则命题“不是所有学生都喜欢吃糖。”可符号化为 。
- 3
“好人自有好报”可用谓词公式表示如下：设F(x)：x是好人；G(x)：x会有好报，则命题符号化为：∀x(F(x)→G(x))。
- 4
设 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))