论文部分内容阅读
进一步研究了可拓命题和可拓推理句，引进了静态真度、可拓真度、静态正确度、可拓正确度的概念，讨论了它们的一些性质，丰富了可拓逻辑的基本概念与理论．
可拓命题与可拓推理句
【摘 要】
：
进一步研究了可拓命题和可拓推理句，引进了静态真度、可拓真度、静态正确度、可拓正确度的概念，讨论了它们的一些性质，丰富了可拓逻辑的基本概念与理论．
【机 构】
：
赣南师范学院
【出 处】
：
哈尔滨工业大学学报
【发表日期】
：
2006年7期
【基金项目】
：
国家自然科学基金资助项目（10261006）,江西省自然科学基金资助项目（0511008）.
其他文献
一、播前准备1．品种选用选用抗枯、黄萎病的中早熟或中熟棉花品种，种子须经过脱绒、包衣技术处理。常规棉选用原种或原种1、2代；杂交棉选用1代杂交种。
以电话话费计算为例，叙述了在windows2000局域网中用SQL Server2000数据库管理系统实现数据统计并行处理的设计思想，这种并行算法提高了统计效率，确保了系统数据的安全性，而且能
利用SBR反应器，探讨了溶解氧（DO）、温度和pH值对晚期垃圾渗滤液实现短程硝化的影响．结果表明：DO质量浓度为0．75mg／L左右时，短程硝化效率较高，大于该值时硝化类型有向全程硝化转变的趋
吉木萨尔县的山区乡镇是大蒜主产区,无论面积、产量都占有较大比例,且因品质优良而闻名全疆。近几年,大蒜面积和产量逐年下降,其主要原因是品种种性退化所致,退化的大蒜植株
国槐是库尔勒市区街道的主栽树种之一,由于病虫害、空气污染、路面硬化、作业带面积缩小、土质硬化及肥水条件跟不上等因素的影响,使国槐多数生长衰弱、树枝干枯、病虫害严重
为了实现力的最直接传递，对2个沿对角线方向布置预应力筋的无梁楼盖分别进行了加载破坏试验，并对沿对角线布置预应力筋的无梁楼盖的荷载-挠度关系曲线、荷载-应变关系曲线、荷
为研究泥页岩地层注水井套管损坏问题，建立了考虑地层蠕变载荷和地层膨胀应力影响的力学模型，在理论分析和数值计算的基础上得到了膨胀地层套管载荷规律．随地层膨胀系数不同，泥页