数理逻辑_水电安装网

二千三百年前，古希腊的伟大思想家亚里士多德(Aristotelés 前384 — 前 322年)以《工具论》创立了传统形式逻辑，为逻辑发展史树起了靠前座丰碑。从...

答案：数理逻辑最初是由科学家（亚里士多德）提出的数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学...