第七章一个例题,有关偏序关系的证明设和为偏序集,有集合A*B上定义关系T如下:任意(那个全程量词打不出来),属于A*B,T等价于a1Ra2∧b1Sb2,(其中数字是下标,这个打不出来,你懂得)证明:T
来源:学生作业帮助网 编辑:作业帮 时间:2024/11/25 22:26:55
xR@_e/E: /<@i_ bmǪ`Hޥ$WB~/tz+Ξ_.[
gkfGUZвK.,2
tgxCys5mͫ%mrWa:=[!^m:: ȉVCr"
{uVH:ՙ|&-HJ3E#ْÐVnw}zd{=xmN!y