当前位置：首页 >
离散数学(02324) > 正文内容
设格 是分配格,对∀a,b,c∈L,如果a⋀c=b⋀c,aⅤc=bⅤc,则有a=b。
设格
证明:若
则a=a⋀(aⅤc)=a⋀(bⅤc)=(a⋀b)Ⅴ(a∧c)
=(a⋀b)Ⅴ(b⋀c)=b⋀(aⅤc)=b⋀(bⅤc)=b。 证毕
扫描二维码免费使用微信小程序搜题/刷题/查看解析。
版权声明：本文由翰林刷题小程序授权发布，如需转载请注明出处。