求离散数学高手帮忙做几道题

2025-01-07 19:17:10
推荐回答(1个)
回答1:

1.对任意的a,b∈Q,由a*b=a+b-a×b=b+a-b×a=b*a可知*运算满足结合律
对任意的a,b,c∈Q,由
(a*b)*c=( a+b-a×b)*c=a+b-a×b+c-(a+b-a×b)c=a+b+c-ab-bc-ca+abc
a*(b*c)=a*(b+c-b×c)=a+b+c-b×c-a(b+c-b×c)c=a+b+c-ab-bc-ca+abc
得(a*b)*c = a*(b*c),故*运算满足结合律。
2.是有补分配格,对任意X,Y∈P(A),X和Y的并集是X,Y的最小上界,X和Y的交集是X,Y的最大下界,故偏序集是格。
并运算对交运算有分配律存在,交运算对并运算也有分配律存在,故是分配格。
对任意X∈P(A),X的补集是X的补元素,故是有补格,于是是有补分配格。
3. ①(┐B∨C)∧┐C P规则
②┐B∨C T规则①
③┐C T规则①
④┐B T规则②③
⑤A→B P规则
⑥┐A T规则④⑤
⑦┐(┐A∧D) P规则
⑧A∨┐D T规则⑦
⑨┐D T规则⑥⑧