命题逻辑

命题逻辑，命题逻辑,mingti luoji，命题逻辑,mingti,luoji，[拼音]：mingti luoji[外文]：propositional logic研究由命题经使用命题连接词构成的更复杂的命题，以及这样构成的命题之间的推理关系。命题演算是命题逻辑的形式系统(见逻辑演算)，它是19世纪70年代至20世纪初，在对数学基础及数学...