文件名称：系统?*中极大相容理论结构刻画的归纳证明 (2008年)
文件大小：428KB
文件格式：PDF
更新时间：2024-06-20 02:07:21
自然科学 论文
在不使用系统?*的强完备性定理，而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画，得到了每一个极大相容理论必然具有形式D（{φ1，φ2，…}），这里φi∈{pi，?pi，（?p2）&（?（?pi）2）}（i=1，2，…），p1，p2，…是系统?*中全体命题变元，进而给出了极大相容理论的若干刻画条件；证明了系统?*的满足性定理和紧致性定理，其结果完善了系统?*的理论体系。