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

将命题：“每个自然数不是奇数就是偶数”符号化。

问答题将命题：“每个自然数不是奇数就是偶数”符号化。

设R是集合A上的等价系，∣A∣=n，∣R∣=r，∣A/R∣=t.证明r·t≥n2.

问答题设R是集合A上的等价系，∣A∣=n，∣R∣=r，∣A/R∣=t.证明r·t≥n².

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

问答题

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