问答题
((p→q)∧(q↔r))→(p↔r)
问答题 考虑一个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。
问答题 设φ是群G1到G2的同构,证明φ-1是G2到G1的同构。