问答题 在一阶逻辑中将命题“所有的整数，不是负整数，就是正整数，或者是0”符号化。

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

问答题 用0元谓词将下面命题符号化： 只有2是偶数，4才是偶数。