刘赫逻辑学论文.docVIP

不同的命题逻辑之古典命题逻辑的不同的公理化 刘赫 哈尔滨师范大学（黑龙江.哈尔滨.150025) 摘要：古典命题逻辑的历史悠久，已经历了大约一百年，内容也最根 本，其特点有：每一变项和公式至少在下列二值中取一：真或假;每一变项和公式至多在下列二值中取一：真或假；公式的值完全决定于其中变项的值.除此以外，还有各种类型的非古典命题逻辑. 关键词：命题逻辑 古典命题逻辑 公理化 多值逻辑 在多值逻辑中，命题变项和公式的值不止两个，可以是三个，四个，以至于无穷多个等等. 模态逻辑 在模态逻辑中，有以下命题形式： 是必然的 是可能的 是不可能的 等等，当取值真时，“是必然的 ”不必为真. 构造性逻辑 在构造性逻辑中，真假概念是与构造的可实现性相联系的，以致古典命题逻辑的排中律等一系列定理在其中失效. 命题演算是命题逻辑的系统化，命题逻辑的系统化可以采取不同的形式，它首先可以分为两大类：重言式的公理系统和自然推理系统.不同的重言式系统表现为初始联结词和公理的不同，也表现为推理规则的差别. 各种符号体系 数理逻辑中不但有不同的系统，也有多种不同的符号体系。除变项外，命题逻辑中所使用的符号有两大类，联结词和作分组用的符号，以下分别说明：