问答题
对公式P→Q,试仅用↓或↑表达之。
问答题 证明大于3和5的孪生素数对p与p+2(p是素数,p+2也是素数)之间的数必是6的倍数.
问答题 对公式P∨Q,试仅用↓或↑表达之。
问答题 设G为群,证明e为G中惟一的幂等元。