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

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

2025-04-07 21:59:43

推荐回答（2个）

回答1：

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

回答2：

啊是否符合得分

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

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