在一阶逻辑中将下列命题符号化（1）f(x):X是人,G(x):x天天锻炼身体则：“有的人天天锻炼身体命题符号化是（2）设F（x）:X是汽车,G(y):y是火车,H(x,y):x比y慢.则”说明是汽车比火车慢是不对的

Question

在一阶逻辑中将下列命题符号化 （1）f(x):X是人,G(x):x天天锻炼身体则：“有的人天天锻炼身体
命题符号化是
（2）设F（x）:X是汽车,G(y):y是火车,H(x,y):x比y慢.则”说明是汽车比火车慢是不对的“
命题符号化

Answer 1

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