|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 计算机考研交流 』 (http://bbs.xml.org.cn/list.asp?boardid=67) ---- 可以这样写吗 (http://bbs.xml.org.cn/dispbbs.asp?boardid=67&rootid=&id=69551) |
|
-- 作者：kaogejj -- 发布时间：11/18/2008 12:01:00 AM -- 可以这样写吗 设L是一个格，如果对于任意a,b,c∈I，有a∧(b∨c)=(a∧b) ∨(a∧c)成立，证明a∨(b∧c)= (a∨b) ∧(a∨c)也成立 解：因a∧(b∨c)=(a∧b) ∨(a∧c)，所以根据格的对偶原理，a∨(b∧c)= (a∨b) ∧(a∨c)也成立。 |
|
-- 作者：JohnChan -- 发布时间：11/19/2008 12:36:00 AM -- 格的对偶原理是对一切格 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
46.875ms |