北京邮电大学学报
北京郵電大學學報
북경유전대학학보
JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS
2011年
4期
10-13
,共4页
陈佳林%何华灿%刘城霞%罗敏霞
陳佳林%何華燦%劉城霞%囉敏霞
진가림%하화찬%류성하%라민하
健全逻辑系统%泛与运算模型%泛或运算模型%排中律
健全邏輯繫統%汎與運算模型%汎或運算模型%排中律
건전라집계통%범여운산모형%범혹운산모형%배중률
当广义相关系数在0 ～0.5时,证明了基于零级运算模型的逻辑系统PC(T)是健全逻辑系统；当广义相关系数在0.5 ～0.75时,构建了基于零级运算模型的健全逻辑系统PC (T)；当广义相关系数在0.75～1时,进一步证明了基于泛逻辑零级运算模型的逻辑系统PC(T),当命题P等于0和1时是一个健全逻辑系统；当命题P不等于0和1时,构建了基于泛逻辑零级运算模型的健全逻辑系统PC(T).
噹廣義相關繫數在0 ～0.5時,證明瞭基于零級運算模型的邏輯繫統PC(T)是健全邏輯繫統；噹廣義相關繫數在0.5 ～0.75時,構建瞭基于零級運算模型的健全邏輯繫統PC (T)；噹廣義相關繫數在0.75～1時,進一步證明瞭基于汎邏輯零級運算模型的邏輯繫統PC(T),噹命題P等于0和1時是一箇健全邏輯繫統；噹命題P不等于0和1時,構建瞭基于汎邏輯零級運算模型的健全邏輯繫統PC(T).
당엄의상관계수재0 ～0.5시,증명료기우령급운산모형적라집계통PC(T)시건전라집계통；당엄의상관계수재0.5 ～0.75시,구건료기우령급운산모형적건전라집계통PC (T)；당엄의상관계수재0.75～1시,진일보증명료기우범라집령급운산모형적라집계통PC(T),당명제P등우0화1시시일개건전라집계통；당명제P불등우0화1시,구건료기우범라집령급운산모형적건전라집계통PC(T).
