计算题 在一阶逻辑中讲命题符号化：有的实数是有理数，有的实数是无理数。

在一阶逻辑中讲命题符号化：所以的整数，不是负整数。 点击查看答案

用0元谓词将下列命题符号化：5是奇数当且仅当5不能被2整除。 点击查看答案