向前向后法证明一阶逻辑的几个定理  

Proving Several Theorems in First Order Logic Based on Back-and-Forth Method

作　　者：潘孝铭[1] 

机构地区：[1]华侨大学信息科学与工程学院,福建泉州362011

出　　处：《华侨大学学报（自然科学版）》2004年第2期203-205,共3页Journal of Huaqiao University(Natural Science)

基　　金：福建省青年科技人才创新基金资助项目 (2 0 0 2J0 11)

摘　　要：向前向后方法是模型论及其应用研究中的一个很重要的工具 .一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性 ,经典模型论中对这些的证明较为繁难 .文中使用向前向后方法 ,对有限语言下一阶逻辑的内插定理和保持定理等几个定理 ,给出一种简洁的证明 .Back-and-forth method is an important tool for studying model theory and its application. Interpolation theorem and preservation theorem in first order logic have determined the existence of first order formula in accordance with certain conditions, their proofs in classical model theory are fairly long and hard to tackle. By using back-and-forth method, the author gives interpolation theorem and preservation theorems a kind of succinct proofs in finite language.

关 键 词：向前向后法 一阶逻辑 模型论 内插定理 保持定理 

分 类 号：O141[理学—数学]