共用题干题用真值表证明下列命题公式是重言式 ((p→q)∧(q↔r))→(p↔r)

考虑一个1×n的棋盘，假定对棋盘的每一个格子用红或蓝两种颜色之一去着色.令g（n）=（n=1，2，3，…）表示...

问答题考虑一个1×n的棋盘，假定对棋盘的每一个格子用红或蓝两种颜色之一去着色.令g（n）=（n=1，2，3，…）表示“没有红色格子相邻的着色数目"，建立g（n）应满足的递归式，并求出g（n）的通项公式.

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

问答题

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

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

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