论文部分内容阅读
给出了一个基于真值表原理进行逻辑论证的有效性判断的简化算法.此算法可以减少手工列真值表判断的计算量，也可由计算机直接实现.
判断论证有效性的一个算法
【摘 要】
：
给出了一个基于真值表原理进行逻辑论证的有效性判断的简化算法.此算法可以减少手工列真值表判断的计算量，也可由计算机直接实现.
【机 构】
：
甘肃教育学院数学系
【出 处】
：
甘肃教育学院学报：自然科学版
【发表日期】
：
2001年2期
其他文献
对高等学校体育管理进行剖析，明确管理目标，提高管理水平。
论证了当入射角大于θmax时,光线将经多次反射出CPC装置.
在物理教学改革中,教学方式的变革往往起到关键的作用.根据心理学研究表明,对不同认知方式的学生采用相同的教学方法,在教学效果上有着较大的差异.利用教学实验,对学生的认知
对2002年5月27日发生在安徽蚌埠地区的一次超级单体风暴过程的天气形势、卫星云图、雷达回波进行了分析，此次过程为该地区近50a来发生的最强烈的一次超级单体风暴过程。本文尝
利用全球气溶胶数据集GADS（Global Aerosol Data Set）计算了冬夏两季黑碳气溶胶质量浓度分布以及在波长0．55μm处的光学厚度、吸收系数和散射系数在全球的分布，并分析了原因。通
根据当代Internet大众化及其学术背景特征,通过整理和记录气象信息资源(电子页面或数据),所获得的目录形式的气象信息资源Internet导航,能够提供当代气象电子资料的重要信息,其中气象数据信息资源目录的调查和应用研究,对于气象科研、数据检索具有重要意义。
为有效地预测和控制污染物对土壤和地下水体的污染，溶质在土壤中的运移研究越来越受到人们的关注、利用边界层理论，可推求出溶质在土壤中浓度时空分布的显示解析表达式，这种显示
为减轻夏季用电负荷，2004年我国许多省市实施了碘化银催化增雨降温作业。本文利用数值模拟方法讨论了强对流云（冰雹云）催化降温的机理。模拟结果表明，实施碘化银催化后，地面降雨量