Log 命题逻辑 逻辑学: 研究推理的一门学科 数理逻辑: 用数学方法研究推理的一门数学学科 一套符号体系+一组规则 2/24/202111:14PM Deren Chen, ZheJiang Univ 3L o g i c 命题逻辑 2/24/2021 11:14 PM Deren Chen, ZheJiang Univ. 3 逻辑学： 研究推理的一门学科 数理逻辑： 用数学方法研究推理的一门数学学科 -------- 一套符号体系 + 一组规则