和田师范专科学校学报
和田師範專科學校學報
화전사범전과학교학보
JOURNAL OF HOTAN TEACHERS COLLEGE
2007年
5期
200
,共1页
三段论%自然演绎系统%化归思想
三段論%自然縯繹繫統%化歸思想
삼단론%자연연역계통%화귀사상
本文结合亚里士多德在分析三段论的有效式时用到的化归思想,运用集合论的知识,建立了自然演绎系统S*,给出判定三段论的有效性的一种方法,并与亚里士多德的方法进行比较.
本文結閤亞裏士多德在分析三段論的有效式時用到的化歸思想,運用集閤論的知識,建立瞭自然縯繹繫統S*,給齣判定三段論的有效性的一種方法,併與亞裏士多德的方法進行比較.
본문결합아리사다덕재분석삼단론적유효식시용도적화귀사상,운용집합론적지식,건립료자연연역계통S*,급출판정삼단론적유효성적일충방법,병여아리사다덕적방법진행비교.
