问答题

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

【参考答案】