问答题
给定算式{[（a+b）]*c}*（d+e）}-f[f-（g*h）]
用一棵树2叉有序正则树表达上面的算式。
问答题 判断公式的类型：
问答题 设∣G∣＞2，且a∈G，a2=e，证明G必含4阶子群。
问答题 在一阶逻辑自然推理系统NS中构造下面的推理的证明：
