向数学系的高手求教

quanfuliang519 · 发表于 08-3-21 23:55:47

这是一道关于离散中的格的一道证明题:

1 对于一阶谓词系统PK，记S为PK中的所有公式的集合。在S上定义等价关系≈如下：对任意α,β∈S，令α≈β当且仅当PK├α←→β。记B={[α]|α∈S上的公式，[α]为S关于≈的等价类}。在B上定义二元关系≤如下，对任意[α],[β]∈B，令[α]≤[β]当且仅当PK├α→β。证明：<B,≤>是一个布尔代数。

平时的题目都是给了运算规则的,然后让你证明该运算下能够构成格

这个问题难在它没有给出运算规则,要自己构造

我的思路是关键在于先构造对应的运算规则 ,然后找出在该运算下的1 , 0

谢谢!

数学小虾 · 发表于 08-3-22 10:50:01

你应该把这个问题发到博士数学论坛上

quanfuliang519 · 发表于 08-3-22 12:59:57

真的假的, 老大

呵呵,这是南大计算机去年的一道复试题

killshop · 发表于 08-4-6 11:38:48

这应该是计算机里面的汇编语言的试题

limit440 · 发表于 08-5-4 14:12:27

有好资料大家一切共享啊

cherryzdy840210 · 发表于 08-5-5 08:54:48

呵呵，大哥，你不应该放在这里啊？

woodrain722 · 发表于 08-8-2 09:35:20

去征集答案吧

托尼巴赞 · 发表于 08-8-13 00:42:31

布尔代数就是0、1呗。。。。。。。。

		自动登录	找回密码
密码			注册

向数学系的高手求教

帮忙啊