兔子比乌龟跑得快命题符号化