摘要
文章作者根据库恩范式理论,提出了新范式。到目前为止,利用各种数学方法进行范式证明的研究很多,但是,根据离散数学命题逻辑进行范式证明的研究文献,国内外均未见报道。文章作者依据离散数学命题逻辑建立了命题,构建了命题关系真值表,得出了条件命题及命题公式。最后,根据命题演算的推理理论证明了命题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.
出处
《标准科学》
2014年第2期51-54,61,共5页
Standard Science
关键词
范式
命题
真值表
命题公式
集合
paradigm,proposition,truth table,propositional formula,set
