第一个是对的。

如果第二个， Are you exerciseing。。。。

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

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