命题演算系统

在数理逻辑中，命题演算可以通过运用演算手段即建立形式系统进而把对重言式以及正确推理形式的研究，转变成对形式系统的研究。在数理逻辑中，命题演算可以通过运用演算手段即建立形式系统进而把对重言式以及正确推理形式的研究，转变成对形式系统的研究。