问答题 在自然推理系统P中用附加前提法证明以下推理： 前提：（p∨q）→（r∧s），（s∨t）→tl 结论：p→u

填空题 若～为〈S，Δ，*〉中S上的等价关系，如果对S中的任何元素x，y，满足（），那么，～为S上的关于一元运算Δ的同余关系；如果对S中的任何元素x，y，u，v满足（），那么，～为S上的关于二元运算*的同余关系；当～关于一元运算Δ，二元运算*均为同余关系时，～就是〈S，Δ，*〉上的同余关系，这时等价类[x]，又可称为（）

问答题 设u是群G中任意固定元素，如下定义新的运算：，证明G关于*运算构成群。