您所查看的帖子来源于考研论坛(bbs.kaoyan.com) 向数学系的高手求教

求教一道离散数学的题目;
UR~OWd1Fd 对于一阶谓词系统PK，记S为PK中的所有公式的集合。在S上定义等价关系≈如下：对任意α,β∈S，令α≈β当且仅当PK├α←→β。记B={[α]|α∈S上的公式，[α]为S关于≈的等价类}。在B上定义二元关系≤如下，对任意[α],[β]∈B，令[α]≤[β]当且仅当PK├α→β。证明：<B,≤>是一个布尔代数。fm|A*T5{[8xz
fdH6QkI(H
平时的题目都是给了运算规则的,然后让你证明该运算下能够构成格
DJ&f4Nj6B-F`U._ 这个问题难在它没有给出运算规则,要自己构造
w]e:H2_ 我的思路是关键在于先构造对应的运算规则 ,然后找出在该运算下的1 , 0
{y2pc`v rW z6_
m;T"JL7V`[G|
*f-IT7o$S#VZ                        谢谢!!!

转载请注明出自bbs.kaoyan.com,本贴地址:http://bbs.kaoyan.com/viewthread.php?tid=2146994

自己顶一个 X8^ ab/}!Vj(t
+n.k;xQ.Vqd#C
望高手快点来

实际上很多数学系专业，没有开设离散
A"hg L8z+M"V 偶大学时连选修课都没有7w&x9Dy"NRZ!?s-K
建议发计算机班

对了。。