论文部分内容阅读
考虑了以数理逻辑中的等值演算为工具对一个结构较为复杂的定理的逻辑结构做了分析.这为我们常用的分析命题结构的方法如逆否命题等提供了一个新思路.
一个命题的逻辑结构分析
【摘 要】
：
考虑了以数理逻辑中的等值演算为工具对一个结构较为复杂的定理的逻辑结构做了分析.这为我们常用的分析命题结构的方法如逆否命题等提供了一个新思路.
【机 构】
：
北京林业大学理学院
【出 处】
：
大学数学
【发表日期】
：
2014年5期
【基金项目】
：
北京高等学校青年英才计划资助(YETP0770);北京林业大学青年骨干教师国内访问学者项目
其他文献
制造物联网是物联网技术在制造业领域深化应用的产物,是一种主要用于产品设计、制造与服务过程中各类信息资源动态感知以及智能处理与优化控制的新型模式。但是这种新型模式
针对生酱油体系,利用国内研制的陶瓷微滤膜替代传统加热除菌工艺,系统考察膜孔径、膜材质、过程操作参数对处理效果的影响,结果表明:在T=23±3℃,ΔP=0.1MPa,V=0.58m/s下,采
夸张作为一种有效的修辞手段，在日常生活中被广泛应用。夸张是运用丰富的想象力，在客观现实的基础上有目的地放大或缩小事物的形象特征，以增强表达效果的修辞手法。夸张的作用是
随着素质教育的发展，“少教多学”的教学理念也在不断的增强，科学的课堂教学理念是教育现代化、规范化、科学化发展的关键,传统的“重教轻学”教学理念由于其内在的缺陷已经不
高中生物教学面向全体学生理念随着基础教育课程改革被提出至今已历经十余年的时间。教学面向全体学生一直是高中教学以及高中课程改革所关注的问题，高中生物教学面向全体学生
<正>长期以来,由于语文学科自身的特殊性(语文学科既是一门工具学科,又是一门人文学科)与人们对语文学科认识的差异,以致人们对语文课程目标的价值取向常常模糊不清。夏丏尊
综述近年来国内外有关辣椒素提取和应用的研究进展,总结和比较几种辣椒素主要提取方法的原理和优缺点,得出多种技术的结合是今后辣椒素提取研究的主要方向;着重阐述辣椒素在
应用F3发酵流变仪、质构仪研究了葡萄糖氧化酶和谷氨酰胺转胺酶对冷冻面团贮藏稳定性的影响。空白面团含有葡萄糖氧化酶面团和含有谷氨酰胺转胺酶面团于-18℃冷冻贮藏7,21,35
为使大型降膜蒸发器的液体分布器能够稳定均匀地布膜,必须对其进行合理的设计。通过对分布器的结构、分布盘筛板上的布孔方式、主要结构参数和工艺参数等方面进行分析探讨,确