Łukasiewicz命题演算形式系统公理独立性证明

摘要

在有关Łukasiewicz命题演算形式系统的公理独立性证明中,一种常见的做法是直接运用模型论的方法构造出若干三值模型来表明各公理的独立性。不过,这种做法既没有详细解释构造这些三值模型的原因和依据,也没有系统说明构造这些三值模型的过程和方法。实际上,一种直观而自然的思考进路完全可以弥补上述做法的不足。