逻辑系统中重言式及广义重言式的关系  

Relation between tautologies and generalized tautologies in logic systems

作　　者：李骏[1] 韦奉岐[2] 马盈仓[2] 

机构地区：[1]甘肃工业大学基础科学系,甘肃兰州730050 [2]西北纺织工学院数理系,陕西西安710048

出　　处：《纺织高校基础科学学报》2001年第1期37-40,共4页Basic Sciences Journal of Textile Universities

摘　　要：研究了多值逻辑系统中各种重言式与经典逻辑系统中重言式间的关系 .指出了多值逻辑系统中判断公式不是重言式的充分条件 ,并对其中一些重要的有限值逻辑系统给出了判断公式是否为重言式的简化方法 .The relation between generalized tautologies in many valued logic systems and tautolgoies in the classical system was studied.A sufficient condition for judging a non tautology in many valued systems was given out.Also,a simplified method is provided to judge tautologies for finite valued logic systems.

关 键 词：重言式 广义重言式 多值逻辑系统 参数 Kleene系统 子代数 

分 类 号：O141.1[理学—数学]