问答题
对公式P∨Q，试仅用↓或↑表达之。
问答题 设G为群，证明e为G中惟一的幂等元。
问答题 对公式P∧Q，试仅用↓或↑表达之。
问答题 证明整数a，b，满足9∣a2+ab+b2，则3∣a且3∣b.
