问答题 将命题：“象比耗子重”符号化。

问答题 用尽量少的颜色给下图所示的地图面着色。

问答题 将命题：“没有最大素数”符号化。