成都理工大学学报（自然科学版）
成都理工大學學報（自然科學版）
성도리공대학학보（자연과학판）
JOURNAL OF CHENGDU UNIVERSITY OF TECHNOLOGY(SCIENCE & TECHNOLOGY EDITION)
2007年
3期
359-363
,共5页
联结词%真值表%全功能联结词集合
聯結詞%真值錶%全功能聯結詞集閤
련결사%진치표%전공능련결사집합
对数理逻辑中的各种联结词所构成的集合进行了讨论,并用计算机编程进行理论推导,把逻辑推理转化为计算机能够实现的0,1运算,用计算机实现了逻辑推理的全过程.得到的主要结果是:全功能联结词集合一共11个,其中,一阶全功能联结词集合2个;二阶全功能联结词集合7个;三阶全功能联结词集合2个;没有四阶及四阶以上的全功能联结词集合.这便修正了近年来有关全功能联结词的一个错误结论.
對數理邏輯中的各種聯結詞所構成的集閤進行瞭討論,併用計算機編程進行理論推導,把邏輯推理轉化為計算機能夠實現的0,1運算,用計算機實現瞭邏輯推理的全過程.得到的主要結果是:全功能聯結詞集閤一共11箇,其中,一階全功能聯結詞集閤2箇;二階全功能聯結詞集閤7箇;三階全功能聯結詞集閤2箇;沒有四階及四階以上的全功能聯結詞集閤.這便脩正瞭近年來有關全功能聯結詞的一箇錯誤結論.
대수리라집중적각충련결사소구성적집합진행료토론,병용계산궤편정진행이론추도,파라집추리전화위계산궤능구실현적0,1운산,용계산궤실현료라집추리적전과정.득도적주요결과시:전공능련결사집합일공11개,기중,일계전공능련결사집합2개;이계전공능련결사집합7개;삼계전공능련결사집합2개;몰유사계급사계이상적전공능련결사집합.저편수정료근년래유관전공능련결사적일개착오결론.
