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