计算题

使用推理规则，论证推理形式：（P→Q）∧（R→S），（Q→W）∧（S→X），¬（W∧X），P→R¬P。

设φ是群G1到G2的同构，证明φ-1是G2到G1的同构。

问答题设φ是群G₁到G₂的同构，证明φ^-1是G₂到G₁的同构。

((p→q)∧(r→s))→((p∧r)→(q∧s))

问答题((p→q)∧(r→s))→((p∧r)→(q∧s))

使用推理规则，论证推理形式：P（Q→R），（R∧S）→W，X→（S∧W）P→（Q→X）。

问答题

使用推理规则，论证推理形式：P（Q→R），（R∧S）→W，¬X→（S∧¬W）P→（Q→X）。