泰山学院学报
泰山學院學報
태산학원학보
JOURNAL OF TAISHAN UNIVERSITY
2013年
6期
4-10
,共7页
推理%推理格式%数学证明%数学证明方法
推理%推理格式%數學證明%數學證明方法
추리%추리격식%수학증명%수학증명방법
简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统.内容包括推理、推理格式、数学证明、数学证明方法.
簡單地討論瞭命題邏輯,用命題邏輯全麵地研究瞭推理格式和數學證明方法,形成一箇完整的繫統.內容包括推理、推理格式、數學證明、數學證明方法.
간단지토론료명제라집,용명제라집전면지연구료추리격식화수학증명방법,형성일개완정적계통.내용포괄추리、추리격식、수학증명、수학증명방법.
