简答题 在一阶逻辑中将命题“有的实数是有理数，有的实数是无理数”符号化。

将στ，τ-1，σ-1τσ表示成对换之积，并说明哪些为奇置换，哪些为偶置换。

问答题将στ，τ^-1，σ^-1τσ表示成对换之积，并说明哪些为奇置换，哪些为偶置换。

将στ，τ-1，σ-1τσ表示成不交的轮换之积。

问答题将στ，τ^-1，σ^-1τσ表示成不交的轮换之积。

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

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