论文部分内容阅读
数理逻辑中关于析取范式与合取范式的求法有两种,一种是利用真值表直接写出,另一种利用命题公式的等值演算得出.使用数学归纳法,从归纳于逻辑联结词的个数和归纳于命题的个数两个方面,给出了析取范式与合取范式的存在性证明.
数理逻辑中主范式的存在性
【摘 要】
：
数理逻辑中关于析取范式与合取范式的求法有两种,一种是利用真值表直接写出,另一种利用命题公式的等值演算得出.使用数学归纳法,从归纳于逻辑联结词的个数和归纳于命题的个数
【机 构】
：
黑龙江科技大学理学院
【出 处】
：
高师理科学刊
【发表日期】
：
2014年06期
其他文献
摘 要：近年来，我国经济的发展十分迅速，人们生活水平也在不断的提升。伴随着人们经济生活水平的提升，群众文化艺术也得到了较好的发展。在当今社会，完善现有的群众文化艺术服务体系对于社会的发展有着十分重要的意义，其不仅能够满足群众精神文化的发展需求，还能够进一步改善社会的风气，促进社会的和谐稳定发展，本文就此详细的探讨了群众文化艺术和社会发展的现实意义。 关键词：群众；文化艺术；社会发展；关系；现实意
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
对外啮合斜齿齿轮泵的困油特性进行了较详细的研究 ,得出了无侧隙斜齿轮泵的接触面方程 ;同时分别推导出了无齿侧侧隙斜齿轮泵和有齿侧侧隙斜齿轮泵的临界螺旋角表达式。最后