利用格蕴涵代数找出所有LI-理想的方法

来源 :数学的实践与认识 | 被引量 : 0次 | 上传用户:mnm159753
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
利用格蕴涵代数中理想的定义来找出所有的理想需要花费大量的时间.给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数所有理想的方法;再利用析取运算表找出格蕴涵代数中所有sl_理想的方法;最后,利用蕴涵否运算表找出格蕴涵代数中所有LI-理想的方法.
其他文献
素质教育倡导对学生的能力培养,注重人的潜能开发,其根本在于每一个学生今后的发展和成长.而在教学中,笔者发现很大一部分高三学生虽做了大量的题,但面对一些“陌生的问题”
期刊
随着我国经济水平和科技水平的深入发展,近年来高层建筑发展迅速,建筑朝体型复杂、功能多样的综合性方向发展,而相应的结构形式也复杂多样.这样的趋势对高层建筑的施工技术提
期刊
这是一节数学活动课.霹雳长官给大家讲了一个有趣的故事:rn一位国王有洁癖,他最害怕自己的鞋底沾上泥土.于是他命令大臣,把整个国家的道路都用布覆盖上.大臣开始组织人力丈量
非奇 H- 矩阵在数值分析和矩阵理论的研究中非常重要,但实际判定一个非奇异H- 矩阵却非常困难.给出一类非奇异 H- 矩阵新的判定条件,改进了近期的相关结果,并用数值例子说明
初中教育已开始实行素质教育,而初中体育教学是素质教育的重要部分.在新的背景之下,强化初中体育教学工作十分重要.它能够更好地贯彻落实素质教育的要求,为国家培养出更多的
钻孔灌注桩是以岩层作为力层、或由桩身较长、摩擦力增大,所以承载力比浅基要大得多,符合高层建筑的要求所以在中小城市应用得越来越广泛,本文就对钻孔灌注桩施工的主要技术
在初中的体育教学过程中,中长跑是其中至关重要的一项.中长跑不但有助于提高学生的身体素质,而且还有助于培养学生的耐心,锻炼学生的意志力,促进学生的全面发展.目前,在我国
在笔算三位数乘两位数时,计算过程中的乘法、加法的进位极易出错。有什么好办法能让我们少进位,把笔算乘法算正确呢? When calculating three-digit multiples by two digit