期刊文献+
共找到3篇文章
< 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
上一页 1 下一页 到第
使用帮助 返回顶部