简介:本文刻划交换半群的强半格上的最小半格同余,并证明由此得到的商半群为对应的每个交换半群的商半群的强半格。
简介:格蕴涵代数中的滤子是格值逻辑推理中的一类重要代数结构.本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法.并举例说明该方法的有效性、可行性.
简介:第JI卷初中毕业会考(满分100分,60分钟完善)一、选择题(每小题4分,共14分)1.Ii列运算中,正确的足()(A)O,26+曲!=(L3·厶’(B)((z+6)!=fz!+b:(C)2n6+3厶“=5(止(D)(“b)‘=“’一2出一6一!若点(cz一:,3一“)住第一象限,!J!lJ“的取值为().(i)2<“<3(口)“>33.如图0—8,A△_Bc中.F足l(.的I{I专,D是馏的中点,则s。,sw等f().(.{)I::(B)I:4A((j)l:,!(D)14.已Ⅻ:『』【1图C。☆玲IHC郁△B,)0‘{’8()。.呲j。D葛卜()