离散数学：2-2 一阶逻辑

- 复习思考题5 - 将下面命题符号化：所有的兔子比所有的乌龟跑得快。有的兔子比所有的乌龟跑得快。所有的兔子比有的乌龟跑得快。不存在跑得同样快的两只兔子。