临渊羡鱼 真的很难，今年合并学时，面面俱到，从命题考到平面嵌入，选填证明计算 记得几个证明 1.S，T是集合X上的一个划分，有关系R，对于任意的u属于S，存在v属于t，u属于v。证明R是X上的一个偏序关系（有点出入，但差不多） 2.对于集合G=1，-1，i，-i，x是普通乘法。证明：＜G，x＞是循环群 3.群G，～是群G的一个等价关系，任意a，x，y属于G，ax～ay→x～y。证明，H（x∈G，x～e），H是G的子群
Hanggoash 补一个很无聊的自然推理系统: 符号化下列命题并在自然推理系统中证明:如果超人能并且愿意阻止邪恶，他就会阻止邪恶。如果超人没有阻止邪恶，那他就是无能的。如果超人不愿意阻止邪恶，那他就是邪恶的。超人没有阻止邪恶。 所有的超人都既不无能也不邪恶。 证明超人不存在。
