逻辑演算

逻辑演算，逻辑演算,luoji yansuan，逻辑演算,luoji,yansuan，[拼音]：luoji yansuan[外文]：logical calculus用形式化方法处理逻辑推理，特别是数学中所用推理。由于形式化了的推理过程与代数演算具有相似性，故也称之为逻辑演算。这类推理的正确性仅依赖于它们的形式，而与内容无关，例如三段论法...