论文部分内容阅读
本文对数理逻辑中的各种联结词所构成的集合进行了讨论,得到全功能联结词集合,指出了12个全功能联结词集合.其中,一阶全功能联结词集合2个;二阶全功能联结词集合7个;三阶全功能联结词集合3个;没有四阶及四阶以上的全功能联结词集合.
全功能联结词集合的一个注记
【摘 要】
：
本文对数理逻辑中的各种联结词所构成的集合进行了讨论,得到全功能联结词集合,指出了12个全功能联结词集合.其中,一阶全功能联结词集合2个;二阶全功能联结词集合7个;三阶全功
【机 构】
：
成都理工大学信息管理学院
【出 处】
：
西南民族大学学报：自然科学版
【发表日期】
：
2006年4期
其他文献
本文采用文献计量学方法，对我国三十年来在期刊上发表的绿茶研究文献进行统计分析，着重研究绿茶的年代分布、学科分布、研究地域分布和期刊分布等方面，从而揭示了我国绿茶专业研
电力系统电压无功多目标的优化控制是主要的复杂优化和控制问题之一．本文在明确电压无功多目标控制方式及意义的基础上，剖析了电力系统中的电压问题，进一步详细研究了电压无功多
传统的瑞氏染色法染色时间长、细胞着色差,而姬姆萨染色法虽然细胞核着色好,但胞浆染色欠佳,本文介绍一种瑞氏姬姆萨染色液,使染色在30″内一步完成,染色效果和原法一致,此液
再一次听到笹井芳树这个名字，是在最新一期的《新世纪周刊》上，可惜，这一次是噩耗。8月5日，52岁的笹井芳树在日本国理化研究所附近悬梁自尽，而让他无颜直面世人的是年初的一次学术
不稳定心绞痛（UA）是急性心肌缺血的主要类型,其发生与白细胞粘附功能（LAF）和细胞粘附分子（CAMs）表达变化的关系尚未见报道。为此,我们检测了62例UA病人心绞痛发作时和缓解后24小时L
头痛是神经科常见症状之一,临床发病率较高,其病因和机理复杂,临床上并无特殊疗法。我们自 1996年2月～1997年10月应用达纳康片治疗头痛36例,取得良好疗效,现报告如下。 1 资料
通过未知函数的线性变换和自变量变换,将两类变系数二阶线性方程化为已知的可积方程,从而得到两类变系数二阶线性方程的可积型.
给出了共轭解析函数的一类Riemann边值逆问题的数学提法，在将此边值逆问题转化为边值问题的基础上，借助于共轭解析函数边值问题的相关理论，讨论了该逆问题的可解性，获得了该逆问
为解决目前国内主流喷浆机在工作过程中喷射距离短的难题,研发了一种新型的TSN/B1N无尘化喷浆机。详细介绍了无尘化喷浆机的结构和参数设计,并进行了现场应用。现场应用表明：
<正> 我科于1987～1996年采用中药保留灌肠治疗尿毒症35例,并与普通常规治疗对照15例进行对比观察,效果满意,现报道如下。1 临床资料 病例选择:治疗组35例,对照组15例,均符合尿