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

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

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