数理逻辑

用数学方法研究推理过程的规律,特别是研究数学证明的科学。又称符号逻辑或理论逻辑,数学的分支学科。它研究的直接对象是符号、公式和规则系统,即逻辑演算。用数学方法研究逻辑系统的思想,首先由莱布尼茨(G.W.Leibniz,1646～1 ......    （本文共 926 字 ）     [阅读本文] >>