| 逻辑系统(-W),W,Wn中的广义矛盾式 |
| |
| 引用本文： | 马巧云,吴洪博.逻辑系统(-W),W,Wn中的广义矛盾式[J].西安文理学院学报,2006,9(3):76-79. |
| |
| 作者姓名： | 马巧云 吴洪博 |
| |
| 作者单位： | 西安文理学院数学系 陕西西安710065(马巧云)，陕西师范大学数学科学学院 陕西西安710062(吴洪博) |
| |
| 摘 要： | 研究了多值逻辑系统中的广义矛盾式,并对这些多值逻辑系统中的广义矛盾式进行了分划,强调了这种分划的不重不漏.
|
| 关 键 词： | 逻辑系统 重言式 矛盾式 分化 |
| 收稿时间： | 03 5 2006 12:00AM |
The Generalized Contradictory Theory in the Logical System |
| |
| MA Qiao-yun,WU Hong-bo.The Generalized Contradictory Theory in the Logical System[J].Journal of Xi‘an University of Arts & Science:Natural Science Edition,2006,9(3):76-79. |
| |
| Authors: | MA Qiao-yun WU Hong-bo |
| |
| Abstract: | 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. |
| |
| Keywords: | logical system generalized tautology theory generalized contradictory theory |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
