共用题干题

给定算式{[（a+b）]*c}*（d+e）}-f[f-（g*h）]

用一棵树2叉有序正则树表达上面的算式。

判断公式的类型：

问答题

判断公式的类型：

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

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

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

问答题

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