在一阶逻辑中将下列命题符号化．
本题中没指定个体域，因而使用全总个体域，并且要引入特性谓词．￢(F(x)∧￢G(x))(F(x)→G(x))其中，F(x)：x为人，G(x)：x吃饭．$￢(F(x)→G(x))(F(x)∧￢G(x))其中，F(x)：x在北京卖菜，G(x)：x是东北人．$(F(x)→G(x))其中，F(x)：x为自然数，G(x)：x是整数．$(F(x)∧G(x))其中，F(x)：x为人，G(x)：x天天锻炼身体．
举一反三
内容
- 0
在一阶逻辑中将下列命题符号化：不存在最大的自然数
- 1
在一阶逻辑中将下面命题符号化：有人爱看小说。
- 2
在一阶逻辑中将下面命题符号化：鸟都会飞翔。
- 3
在一阶逻辑中将下面命题符号化：并不是所有的人都爱吃糖。
- 4
在一阶逻辑中将下面命题符号化：没有不爱看电影的人。