共用题干题

设σ，τ是5元置换，且

计算στ，τσ，σ^-1，τ^-1，σ^-1，τσ。

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

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

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

问答题

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

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

问答题

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