离散数学证明范式的有效性  

The Discrete Mathematics Proves Effectiveness of Paradigm S-c: VMGSGMV

作　　者：董效林[1] 

机构地区：[1]中条山有色金属集团有限公司

出　　处：《标准科学》2014年第2期51-54,61,共5页Standard Science

摘　　要：文章作者根据库恩范式理论,提出了新范式。到目前为止,利用各种数学方法进行范式证明的研究很多,但是,根据离散数学命题逻辑进行范式证明的研究文献,国内外均未见报道。文章作者依据离散数学命题逻辑建立了命题,构建了命题关系真值表,得出了条件命题及命题公式。最后,根据命题演算的推理理论证明了命题S-c:VMGSGMV合取范式的有效性。According to Kuhn paradigm theory, the author puts forward the new paradigm. So far, there have been a lot of researches which apply various mathematical methods to prove paradigm. However, there is no report which uses the discrete mathematics proposition logic to prove paradigm at home and abroad. Based on the discrete mathematics proposition logic, the writer establishes the proposition, builds the propositional relationship truth table, and obtains the conditional proposition and propositional formula. Finally, the writer proves the effectiveness of the proposition S-c:VMGSGMV conjunctive normal form by the propositional calculus reasoning theory.

关 键 词：范式 命题 真值表 命题公式 集合 

分 类 号：O159[理学—数学]