最新离散数学证明题实用版内容整理.docxVIP

故k2n-4。答：任意取定aG，记方程

故k2n-4。答：任意取定aG，记方程a*x=a的惟一解为eR。即a*eR=a。下证eR为关于运算*的右单位元。对bG，记方程y*a=b的惟一解为y。G,*

若a*ba*c则bc事实上:a*ba*c使*(a*b)*(a*c)(*a)*b(*a)*c,e*be*c即:bc(2)e是A，*之幺元。事实上：由于e是左幺

x*)*xx*(*x)x*exe*xx*e故有*xx*ex有逆元17设A{1,2,3,,9}，在AA上定义关系R:a,b,c,dR当且仅当adbc，证明R是AA

∈H，k∈K,使得b=h*a*k。因为H、K是G的子群，所以h-1∈H且k-1∈K。故a=h-1*a*k-1,从而bRa。即R是对称的。a,b,c∈G，若aRb

证明题

精品文档

编号

题目

答案

题型

分值

大纲

区分度

难度

1

用先求主范式的方法证明(P→

Q)(P→R)(P→(QR)

答：先求出左右两个公式的主合取范式

(P→Q)

(P

(P→R)

Q(R

(P

R)))

Q)(P(P(Q

R)

Q)R)

10

2.3；2.4

33

(PQR)(PQR)