|
以文本方式查看主题 - 中文XML论坛 - 专业的XML技术讨论区 (http://bbs.xml.org.cn/index.asp) -- 『 计算机考研交流 』 (http://bbs.xml.org.cn/list.asp?boardid=67) ---- 求教logician (http://bbs.xml.org.cn/dispbbs.asp?boardid=67&rootid=&id=60258) |
|
-- 作者：fuliang519 -- 发布时间：3/21/2008 11:17:00 PM -- 求教logician logician ,你好: 向您求教一个问题: 对于一阶谓词系统PK，记S为PK中的所有公式的集合。在S上定义等价关系≈如下：对任意α,β∈S，令α≈β当且仅当PK├α←→β。记B={[α]|α∈S上的公式，[α]为S关于≈的等价类}。在B上定义二元关系≤如下，对任意[α],[β]∈B，令[α]≤[β]当且仅当PK├α→β。证明：<B,≤>是一个布尔代数。 平时的题目都是给了运算规则的,然后让你证明该运算下能够构成格 可实在不知道从哪里下手, 所以向您求教. 谢谢!
|
|
-- 作者：fuliang519 -- 发布时间：3/21/2008 11:32:00 PM -- 有人说用同构的方法去证明 vczh 22:46:32 你先找出布尔代数的定义 vczh 22:46:40 然后让<B,<=>可以同构过去就行了 vczh 22:46:44 可以互相构造 vczh 22:46:51 如果双向构造都成功，那么就是了 但他没具体说, 哎....... |
|
-- 作者：Logician -- 发布时间：3/23/2008 7:47:00 PM -- 你知道，对任意集合A，可以由A上的一个偏序≤导出一个格。在这个导出的格里，∧、∨、补、0、1都是由这个偏序唯一确定的。 对于这道题，你需要证明的是，在导出的格里：对任意[α]、[β]， 1) [α] ∧[β] = [α∧β] 2) [α] ∨[β]= [α∨β] 3) 0=[α∧┐α] 4) 1=[α∨┐α] 5) 补[α] = [┐α] 上述等式左边是格里的运算，右边是逻辑运算。 然后在证明利用逻辑运算的性质（分配律），就可以证明这个格是布尔代数了。 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
7,224.609ms |