问答题
在一阶逻辑中将命题“所有的整数,不是负整数,就是正整数,或者是0”符号化。
问答题 用0元谓词将下面命题符号化: 5是奇数当且仅当5不能被2整除。
问答题 用0元谓词将下面命题符号化: 只有2是偶数,4才是偶数。
问答题 用0元谓词将下面命题符号化: 只要4不是素数,3就是素数。