论文部分内容阅读
全面系统地总结了逻辑恒等式的证明方法,在阐明各种证法的思想、方法的基础上,用形式多样的例子说明了逻辑恒等式的证明步骤,并简要的介绍了一些方法的使用技巧 .
逻辑恒等式的若干证法
【摘 要】
：
全面系统地总结了逻辑恒等式的证明方法,在阐明各种证法的思想、方法的基础上,用形式多样的例子说明了逻辑恒等式的证明步骤,并简要的介绍了一些方法的使用技巧 .
【机 构】
：
武汉化工学院计算机系
【出 处】
：
华中农业大学学报
【发表日期】
：
2001年4期
其他文献
为探明桂味荔枝花穗修剪的适宜时期,以不修剪花穗为对照,在花穗生长早期(长度5~8cm)、中期(长度15~20cm)和后期(花穗长定)分别实施修剪处理(主轴摘顶,侧穗仅留3~4条且摘顶),
文章旨在研究饲粮中添加乳酸片球菌对蛋鸡24周生产性能、蛋品质、蛋黄胆固醇含量和脂肪酸组成的影响。试验将22周龄的222只海兰褐壳蛋鸡随机分为3组。对照组饲喂基础饲料(不
根据单指标评价（最差的项目赋全权）的思路和计算方法,据白杨河流域水质监测数据,选择16个水质指标,以《地表水环境质量标准》（GB3838-2002）为评价标准,从而进行分析评价,为水污染
我国老龄化趋势和日益庞大的老龄人群,对传统的养老服务业提出了挑战。医养结合作为社会养老的一种创新模式,将现代医护技术与养老服务相结合,成为应对老龄化趋势的必然选择
文章通过阐述明代广东地区民族政策的演变,肯定明政府后期的“改土归流”及注重发展民族地区社会经济的政策,认为明后期的民族政策比明前期的土官制度、明中期的残暴镇压为主
提出了一种基于自适应网格密度改进二进制粒子群算法。局部粒子最优解采用Pareto支配关系,外部储备集采用自适应网格更新方法提升Pareto最优解多样性,全局最优解的选择方式基
毕业论文是考核本科院校教学工作水平的重要内容之一。新建本科院校在毕业论文教学管理制度、指导教师的科研能力、院系的科研环境及学生综合能力等各方面比较薄弱。为了提高
资金流动分为投资、融资和运营三部分。其中．融资资金流动是分析企业从哪些途径取得资金，又将这些资金应用到哪些方面．从而分析资金来源和资金应用的对应性，可以对管理决策有一个
由于心肌缺血再灌注损伤(ischem ic/reperfusion in jury,I/R)机制的复杂性,使其成为临床上经常面临和较难防治的问题。在其发生发展的众多机制中,中性粒细胞(PMN)活化、心肌