本文摘要：《煤矿机械》这本期刊是正规权威性期刊，可以在知网、万方进行查询，一般我们想要评职称都需要提前发表，好多作者不理解为什么需要提前一两年发表，下面小编给大家介绍提前发表益处： 1.提前一年发表更有说服力。 2.评职时会加2-3分的印象分。 3.出刊后上期

　　《煤矿机械》这本期刊是正规权威性期刊，可以在知网、万方进行查询，一般我们想要评职称都需要提前发表，好多作者不理解为什么需要提前一两年发表，下面小编给大家介绍提前发表益处：

　　1980年，《煤矿机械》杂志创刊于北京，主管单位为国家煤矿安全监察局，现主管单位黑龙江科技大学，主办单位为黑龙江科技大学哈尔滨煤矿机械研究所。

　　《煤矿机械》杂志已6次入选北京大学全国中文核心期刊目录，是美国《剑桥科学文摘》、俄罗斯《文摘杂志》来源期刊，中国学术期刊综合评价数据库来源期刊、中国科学引文数据库来源期刊、中国期刊网(CNKI)独家全文收录期刊、中国学术期刊(光盘版)独家全文收录期刊、中国万方数据资源系统数字化期刊群“摘要”入网期刊、黑龙江省优秀期刊。

　　《煤矿机械》杂志快速发展，与多家高等院校、科研院所、企事业单位进行了深入合作，办刊能力和水平得到了全面提升，期刊影响力和社会声誉显著增强，得到了上级主管部门、煤机行业同仁和广大读者的认可。

　　《煤矿机械》杂志先后多次获得上级主管部门的奖励，先后被授予“黑龙江省读者喜爱期刊”、“黑龙江省最佳期刊”、“ 黑龙江省优秀科技期刊叁等奖”、“ 黑龙江省科技期刊优秀奖”、“首届黑龙江省出版精品工程奖提名奖”等多项荣誉称号。

　　【摘要】命题逻辑是逻辑学的基础，要实现逻辑学的计算机处理首先需要实现命题逻辑的计算机处理。由于每个命题公式都与一个由小项下标组成的集合相对应，这样实现命题逻辑的计算机实现就可以通过集合这个工具，首先将命题逻辑转化成集合，然后在计算机上对集合进行表示和处理，最后再将由集合处理的结果还原成命题逻辑的形式输出。本设计主要是基于这一集合理论，在计算机上实现命题逻辑中的两个最基本的处理，命题公式的PG电子 PG平台证明和命题公式的主析取范式求解。