| Lukasiewicz系统中的广义重言式理论 |
| |
| 引用本文： | 杨晓斌,张文修.Lukasiewicz系统中的广义重言式理论[J].陕西师范大学学报,1998(4). |
| |
| 作者姓名： | 杨晓斌 张文修 |
| |
| 作者单位： | 西安交通大学理学院 |
| |
| 摘 要： | 引入了一类特殊的公式序列Ａｋ（ｋ＝１，２，…），从而证明了在Ｌｕｋａｓｉｅｗｉｃｚ系统中广义重言式有更加精细的区分，即在连续值或有理值的情形下对任意真值α和β，若α≠β，则有α－Ｔ（Ｌ）≠β－Ｔ（Ｌ）．并给出了广义重言式的关系定理，即对任意真值α，α－Ｔ（Ｌ）＝∩β＜α，β∈（Ｌ）β－Ｔ（Ｌ）．
|
| 关 键 词： | Lukasiewicz系统 α－重言式 α~＋－重言式 重言式关系定理 |
Theory of generalized tautology on Lukasiewicz system |
| |
| Yang Xiaobin,Zhang Wenxiu.Theory of generalized tautology on Lukasiewicz system[J].Journal of Shaanxi Normal University: Nat Sci Ed,1998(4). |
| |
| Authors: | Yang Xiaobin Zhang Wenxiu |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
