安徽师范大学学报：人文社会科学版
安徽師範大學學報：人文社會科學版
안휘사범대학학보：인문사회과학판
Journal of Anhui Normal University(Humanities and Social Sciences)
2012年
6期
668~672
,共null页
3值逻辑 经典2值逻辑 扩充 变异
3值邏輯 經典2值邏輯 擴充 變異
3치라집 경전2치라집 확충 변이
three valued logic; classical binary logic; extension; variation
3值逻辑与经典2值逻辑的关系问题是逻辑哲学研究的基本问题之一,通常看法是：经典2值逻辑的某些推理规律在3值逻辑中不成立,3值逻辑是经典2值逻辑的变异。结合对这一观点来源的分析,在建立了一个函数完全的3值逻辑自然推演系统的基础上,从语形和语义两个方面证明：3值逻辑是经典2值逻辑的扩充,而不是变异。
3值邏輯與經典2值邏輯的關繫問題是邏輯哲學研究的基本問題之一,通常看法是：經典2值邏輯的某些推理規律在3值邏輯中不成立,3值邏輯是經典2值邏輯的變異。結閤對這一觀點來源的分析,在建立瞭一箇函數完全的3值邏輯自然推縯繫統的基礎上,從語形和語義兩箇方麵證明：3值邏輯是經典2值邏輯的擴充,而不是變異。
3치라집여경전2치라집적관계문제시라집철학연구적기본문제지일,통상간법시：경전2치라집적모사추리규률재3치라집중불성립,3치라집시경전2치라집적변이。결합대저일관점래원적분석,재건립료일개함수완전적3치라집자연추연계통적기출상,종어형화어의량개방면증명：3치라집시경전2치라집적확충,이불시변이。
The relation between three valued logic and classical binary logic is one of the basic problems of the logic philosophy research. The general idea on it is that some inference rules in classical binary logic are false in the three valued logic and the three valued logic is a variation of the binary logic. With the analysis on this idea, based on a three valued natural deduction system which is function complete, prove in terms of syntax and semantics： the three valued logic is an extension of the binary logic rather than a variation.
