The relation between generalized tautologies in many-valued logicsystems 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.%研究了多值逻辑系统中各种重言式与经典逻辑系统中重言式间的关系.指出了多值逻辑系统中判断公式不是重言式的充分条件,并对其中一些重要的有限值逻辑系统给出了判断公式是否为重言式的简化方法.
展开▼