期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
制约关系的两个独立性是推理能从已知获取新知的逻辑根据 被引量:1
1
作者 龙娅 龚启荣 《六盘水师范高等专科学校学报》 2007年第1期30-32,59,共4页
制约关系即充分条件关系,它具有两个非常重要的逻辑性质,叫第一独立性和第二独立性。制约关系的两个独立性是推理能从已知获取新知的逻辑根据。这就是它的理论价值和实践意义。
关键词 制约关系 第一独立性 第二独立性
下载PDF
从数理逻辑概括规则看内涵科学分析法
2
作者 龚启荣 吴春红 《贵州大学学报(自然科学版)》 2008年第3期247-250,共4页
无限域的内涵可以有限地把握和表述。可在有限步内实施的提取无限步的内涵从而确定无限域上事件间的第一独立性的方法即为"内涵科学分析法",人类用此法确立第一独立性后即能以有限把握无限,从已知进入新知。数理逻辑中作为逻... 无限域的内涵可以有限地把握和表述。可在有限步内实施的提取无限步的内涵从而确定无限域上事件间的第一独立性的方法即为"内涵科学分析法",人类用此法确立第一独立性后即能以有限把握无限,从已知进入新知。数理逻辑中作为逻辑工具使用的"若,则"不是真值函数"蕴涵",而是通过内涵科学分析法确立第一独立性的"制约"。 展开更多
关键词 内涵科学分析法 制约关系 第一独立性 第二独立性 概括原则
下载PDF
充分条件与蕴涵
3
作者 李国富 《理论与实践(贵州)》 2002年第6期37-38,共2页
充分条件关系是逻辑关系,逻辑研究的对象:蕴涵关系是真值函数关系,是数学研究的对象.二者的区别是明显的.
关键词 充分条件关系 普通逻辑 真假 后件 定义 结论部分 第一独立性 蕴涵关系 逻辑学 数理逻辑
下载PDF
All-boron fullerene B_(40):a superatomic structure
4
作者 王佳 于天荣 +1 位作者 高阳 王志刚 《Science China Materials》 SCIE EI CSCD 2017年第12期1264-1268,共5页
By means of the first-principles calculations, we reveal that B40 presents superatomic properties. It not only has superatomic 1S, 1P, 1D and 1F orbitals, but also has superatomic orbitals 2S, 2P, 2D and 2F. The super... By means of the first-principles calculations, we reveal that B40 presents superatomic properties. It not only has superatomic 1S, 1P, 1D and 1F orbitals, but also has superatomic orbitals 2S, 2P, 2D and 2F. The superatomic 2F orbital of B40 is partially occupied, thus adding six electrons to the cluster leads to a superatomic structure of fully occupied shells. The computed nucleus-independent chemical shift values suggest that the B406 is of higher electron delocalization than B40 itselL Our work opens up a new perspective for the superatomic physics in boron fullerene family, 展开更多
关键词 boron fullerene superatom electronic structure FIRST-PRINCIPLES
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部