摘要
研究了多值逻辑系统中的广义矛盾式,并对这些多值逻辑系统中的广义矛盾式进行了分划,强调了这种分划的不重不漏.
Based on the tautology theory in multi- value logical system , the generalized contradictory theory was discussed and divided in multi - value logical system . And its non - repetition and non - leakage were also emphasized. The study of the generalized contradictory in multi - value logical system will be of great help for the discussion of the contradictions of formulas in the system.
出处
《西安文理学院学报(自然科学版)》
2006年第3期76-79,共4页
Journal of Xi’an University(Natural Science Edition)
关键词
逻辑系统
重言式
矛盾式
分化
logical system
generalized tautology theory
generalized contradictory theory