论文部分内容阅读
在数理逻辑中，对最小联结词组的研究，目前多限于讨论常见的五、六个词组。本文对一个二元联结词和两个二元联结词构成的联结词组进行了系统的分析论证，从中找全了九个最小联结词组。
对数理逻辑中最小联结词组的扩展讨论
【摘 要】
：
在数理逻辑中，对最小联结词组的研究，目前多限于讨论常见的五、六个词组。本文对一个二元联结词和两个二元联结词构成的联结词组进行了系统的分析论证，从中找全了九个最小联结词
【机 构】
：
数学系
【出 处】
：
嘉兴高等专科学校学报
【发表日期】
：
1999年4期
其他文献
<正>随着我国经济的发展,现代化办公设备开始逐渐进入各类机关、企事业单位办公室,尤其在沿海开放城市和经济较发达地区,这一趋势日益明显。实现办公自动化,对于提高办公效率
目的探讨左卡尼汀在儿童重型β-地中海贫血异基因造血干细胞移植（allo—HSCT）过程中的应用价值。方法将41例拟行allo—HSCT的重型地贫患儿随机分为观察组25例及对照组16例，两组
以洛阳孟津地区气象数据库、土壤数据库、作物数据库和多年田间试验数据库为基础,应用DSSAT作物生长模型估算了当地夏玉米光温生产潜力和光温水生产潜力,并对节水潜力开发现
随着医学模式由单纯生物医学模式向生物-心理-社会医学模式的转变，恶性肿瘤患者的心理健康以及生存质量日益受到人们关注，但其亲属的心理健康和生存质量状况以及对患者的影响常
颅脑损伤术后出现继发血肿属迟发性颅内血肿的范畴，如发现或处理不及时，将严重影响患者的预后，甚至导致患者死亡。2005年10月-2009年10月，我科共手术治疗439例颅脑损伤患者，其中37
在用5种农药的不同浓度处理后的马铃薯+蛋白胨+葡萄糖+琼脂(PPDA)培养基上培养苏云金杆菌Bacillus thuringiensis,结果表明在农药释稀5 000 倍时,对苏云金杆菌的生长没有影响
通过对植物生长调节物质种类、质量浓度及配比对花叶络石Trachelospermum jasrainoides‘Variegatum’茎段和腋芽诱导、增殖、腋芽增殖、最佳继代时间和生根的影响进行探讨，旨
在春季和夏季分别进行杂种鹅掌楸Liriodendron chinense X×L.tulipifera扦插试验,对不同季节扦插生根所需时间、顶芽的作用、平均生根数及愈伤组织生长状况等特征做了比