简答题

判断公式的类型：

设∣G∣＞2，且a∈G，a2=e，证明G必含4阶子群。

问答题设∣G∣＞2，且∀a∈G，a²=e，证明G必含4阶子群。

在一阶逻辑自然推理系统NS中构造下面的推理的证明：

问答题

在一阶逻辑自然推理系统N_S中构造下面的推理的证明：

G对应T的所有基本割集

问答题G对应T的所有基本割集