问答题
设φ是群G1到G2的同构，证明φ-1是G2到G1的同构。
问答题 ((p→q)∧(r→s))→((p∧r)→(q∧s))
问答题 使用推理规则，论证推理形式：P（Q→R），（R∧S）→W，X→（S∧W）P→（Q→X）。
问答题 G1=〈R，+〉，G2=〈A，·〉，+和·以及A的定义同（上小题）。 f:R→A,f(x)=cosx+isinx
