一阶逻辑完备性定理的新代数证明.docVIP

 文章编号 :167224291 (2004) 0420001203 一阶逻辑完备性定理的新代数证明 王国俊 , 周红军 (陕西师范大学 数学与信息科学学院 , 陕西 西安 710062) 要 :给出了一阶逻辑完备性定理的一个新的代数证明 ,这个证明不使用依赖于 Boole 代数表示 定理的γ2解释 ,但使用关于 Q2滤子 A的 A2解释 ,也需要用到选择公理. 另外指出了已有代数证明 的不足之处 ,并作了修正 . :一阶逻辑 ; 完备性 ; 代数证明 ; 选择公理 ; Q2滤子 : O141 . 12 文献标识码 : A A ne w algebra ic proof of completeness of f irst order l ogic WAN G Guo2jun , ZHOU Ho ng2jun ( College of Mat hematics and Info r matio n Science , Shaanxi No r mal U niversity , Xi′an 710062 , Shaanxi , China) Abstract : A new algebraic p roof of t he co mpleteness of first o rder logic is o btained , of w hich t he use of γ2interp retatio n based o n t he rep resentatio n t heo rem of Boolean algebra is avoided , but t he p roof is based o n t he co ncep t of A2interp retatio n wit h respect to certain Q2filter A and t he axio m of choice is employed. Mo reover , certain sho rtco mings of t he already existing algebraic p roof are pointed o ut and amended. Key words : first o rder logic ; co mpleteness ; algebraic p roof ; axio m of choice ; Q2filter M R Subject cla ssif icat ion : 03B10 完备性问题是逻辑演算理论中的重要课题. 为 了使非数理逻辑专业的读者容易理解和接受 , 我们 在文献 [ 1 , 2 ] 中给出了一阶逻辑完备性定理的代数 证明 , 那 里 用 到 Boole 代 数 的 表 示 定 理. 因 为 关 于 Boole 代数表示定理的证明用到与选择公理等价的 Zo r n 引理 , 所以那里的证明依赖于选择公理. 本文 提出一种更简捷的不涉及 Boole 代数表示定理的一 阶逻辑完备性的代数证明 , 但仍依赖于选择公理 . 在证明一阶逻辑的完备性时要用到 . 引理 1 [ 2 ] 设 L 是一阶语言 , F是全体合式公式 ( 简称 Wff 或公式) 之集 , 则 F 上的可证等价关系 ～ 是 ( ? , →) 型同余关系 , 且商代数 [ F] = F/ ～ 按如 下规定的序和补运算构成 Boole 代数 : [ A ] ≤ [ B ] 当 且 仅 当 ├A → B , [ ? A , A , B F. A ]′ = ( 1) 引理 2 [ 3 ] 设 B 是 Boole 代数 , A 是 B 中的素 滤子 , 在 B 中规定 a ～ A b 当且仅当 a → b A 且 b → a A , a , b ∈ B , 1 若干引理 设 B 是 Boole 代数 , ? ≠ F B , F ≠ B . 若 F ( 2) 是对有限交封闭的上集 , 则称 F 为 B 中的滤子 . 滤子 F 叫素的 , 若当 a b ∈ F 时有 a F 或 b F. 又 在 Boole 代数 B 中规定 a → b = a′ b . 下面的引理 则 ～ A 是 B 上的同余关系 , 且商代数 B / A 同构于 最简 Boole 代数{ 0 , 1} . 设映射φ: B →B / A 由 φ( a) = a ] ( a B ) 定义 , 则 φ是 Boole 同态 , 且 :2004205214 基金项目 :国家自然科学基金重点资助项目 :王国俊 (1935 —) ,男 ,陕西渭南人 ,陕西师范大学教授 ,