| 命题演算 propositional calculus 数理逻辑的基本组成部分，形式化的命题逻辑。一般有重言式的公理系统和自然演绎系统两种。重言式的公理系统是指：从一些作为初始命题的重言式出发，应用明确规定的推演规则，推演出一系列定理的演绎体系;自然演绎系统的出发点只是一些变形规则，无需公理就可推出一系列定理形成演绎系统。命题演算使用了特有的表意符号，其中“→”、“∧”、“∨”、“”、“↔”为联结词符号，分别表示蕴涵，合取，析取，否定，等值等。这样写出的公式就一目了然，便于运算。由于使用表意符号，使符号和所表达的意义有完全的对应，公式和命题之间有完全的对应，以致可以暂时撇开意义，只从语言的形式方面来考察问题，从而使推理的逻辑方法转换为公式之间的符号变换。1879年，弗雷格在《概念语言》中建立了第一个完备的命题演算系统。 |