首页> 中文期刊> 《标准科学》 >离散数学证明范式的有效性

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

         

摘要

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.%文章作者根据库恩范式理论,提出了新范式。到目前为止,利用各种数学方法进行范式证明的研究很多,但是,根据离散数学命题逻辑进行范式证明的研究文献,国内外均未见报道。文章作者依据离散数学命题逻辑建立了命题,构建了命题关系真值表,得出了条件命题及命题公式。最后,根据命题演算的推理理论证明了命题S-c:VMGSGMV合取范式的有效性。

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号