| 扩展重言式 |
| |
| 引用本文： | 李大法. 扩展重言式[J]. 清华大学学报(自然科学版), 1987, 0(3) |
| |
| 作者姓名： | 李大法 |
| |
| 作者单位： | 应用数学系 |
| |
| 摘 要： | 对于任何ｗｆｆ Ａ，能够得到这样一个 ｗｆｆ，它和Ａ等价，且量词的辖域最小。如 果这后一个ｗｆｆ是重言式，则称Ａ是扩展重言式。还证明了，如Ａ是扩展重言式， 则Ａ。还定义了一个系统，对于这个系统的每一个定理，能够证明它是扩展重言式。
|
| 关 键 词： | 重言式 一阶逻辑 高阶逻辑 归结 配对 |
Extended Tautology |
| |
| Li Dafa. Extended Tautology[J]. Journal of Tsinghua University(Science and Technology), 1987, 0(3) |
| |
| Authors: | Li Dafa |
| |
| Affiliation: | Department of Applied Mathematics |
| |
| Abstract: | It is defined that wff A is extended tautologous if the wff where the scopes of the quantifiers are minimal, which is equivalent to A, is taufologous and proved that A if A is extended tautologous. For any thorem of the system which will be defined late, it is extended tautologous. |
| |
| Keywords: | tautology first order logic higher order logic resolution mating. |
| 本文献已被 CNKI 等数据库收录！ |
