命题逻辑与数学证明方法(Ⅲ)
명제라집여수학증명방법(Ⅲ)
The Propositional Logic and the Methods of Mathematical Proofs (Ⅲ)
  • 万方数据
    泰山学院学报 태산학원학보
    JOURNAL OF TAISHAN UNIVERSITY
    2014年 6期 18-22 ,共5页

    孙宗明

    손종명

    反证法推理格式%反证法%数学证明方法总结 反證法推理格式%反證法%數學證明方法總結
    반증법추리격식%반증법%수학증명방법총결
    简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统.内容包括反证法推理格式、反证法、数学证明方法总结.
    간단지토론료명제라집,용명제라집전면지연구료추리격식화수학증명방법,형성일개완정적계통.내용포괄반증법추리격식、반증법、수학증명방법총결.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문