命题演算中真值联结词的讨论

今天,数理逻辑可以说已经是一门成熟的科学,它的内容十分丰富,它弥补了传统逻辑的不足。爱尔兰数学家布尔(G.Boole)仿照数学的方式来发展逻辑,他的成果便是今天有名的布尔代数。关于这种代数,布尔本人一共发展了两个,一个是集合代数(又名类代数),另一个是命题代数,在命题代数中,认为命题以及命题之间的运算最简单,应该以它作为研究的出发点,这便是命题演算。 所谓命题,便是具有真假童义的陈述句,相当于传统逻辑中的判断,例如: “北京是中国的首都。”