问答题 计算στ，τσ，σ-1，τ-1，σ-1，τσ。

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

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