问答题
设σ,τ是5元置换,且
计算στ,τσ,σ-1,τ-1,σ-1,τσ。
问答题计算στ,τσ,σ-1,τ-1,σ-1,τσ。
在一阶逻辑中将命题“所有的整数,不是负整数,就是正整数,或者是0”符号化。
问答题在一阶逻辑中将命题“所有的整数,不是负整数,就是正整数,或者是0”符号化。
用0元谓词将下面命题符号化: 5是奇数当且仅当5不能被2整除。