在一阶逻辑中将下列命题符号化（1）f(x):X是人,G(x):x天天锻炼身体则：“有的人天天锻炼身体

命题符号化是
（2）设F（x）:X是汽车，G(y):y是火车，H(x,y):x比y慢。则”说明是汽车比火车慢是不对的“
命题符号化

推荐答案 2014-05-18

（1）有的人天天锻炼身体；
也就是说：存在这么一些“东西”，它们“既是人”，“又是天天锻炼身体的”。
所以，符号表示为：
（Ex）（f（x）∧G（x））；（Ex表示存在x）
（2）说汽车比火车慢是不对的；
即是说：并非所有的汽车都比（所有的）火车慢；
所以，符号表示为：
┐（AxAy）（F（x）∧G（y）→H（x，y））；（Ax表示所有x）

温馨提示：答案为网友推荐，仅供参考

当前网址：http://55.wendadaohang.com/zd/ILeIGFLRQQL4LRFccFL.html

其他回答

第1个回答 2014-05-15

啊是否符合得分

相似回答

在一阶逻辑中将下列命题符号化.答：【答案】：本题中没指定个体域，因而使用全总个体域，并且要引入特性谓词．￢(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（x是人并且x天天锻炼身体）

用一阶逻辑将该命题符号化答：设F（x）：x是大学生；G（x）：x是文科生；H（x）：x是理科生 符号化为：由于符号有限：下式中的A代表全称量词，V代表异或，请注意写成正确形式。A x(F(x)→G（x）V H（x））

帮忙翻译关于一阶逻辑的一些题目符号化答：3、令F（x）表示“x是人”，G（x）表示“x是一件事”，H（x，y）表示“x能做好y”，将下列命题翻译成一阶语言公式 （1）所有的人不能做好每件事 Ax[F(x)→Ay(G(y)→¬H(x,y))]4、令F（x）表示“x是人”，G（x）表示“x是一个时刻”，H（x，y）表示“他能在y时刻欺骗...

离散数学(谓词逻辑)答：设 S(x):x 是一个三好学生，H(x)：x 学习成绩好，a：王童, 则该命题符号化为：S(a) → H(a) 李新华是李兰的父亲并且李兰和张三是同班同学。设 F(x, y):x 是 y 的父亲，M(x, y)：x 与 y 是同班同学，b: 李新华，c: 李兰，d: 张三，则该命题符号化为：F(b,...

大家正在搜

在一阶逻辑中将下列命题符号化一阶逻辑是指在命题逻辑的基础之上一阶逻辑命题符号化例题一阶逻辑命题符号化的三要素命题逻辑和一阶逻辑的区别一阶逻辑和命题逻辑的联系与区别一阶逻辑和命题逻辑一阶逻辑符号化设GH是一阶逻辑公式

在一阶逻辑中将下列命题符号化 （1）f(x):X是人,G(x):x天天锻炼身体则：“有的人天天锻炼身体

在一阶逻辑中将下列命题符号化（1）f(x):X是人,G(x):x天天锻炼身体则：“有的人天天锻炼身体