逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。 逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建
阅读背景：
布尔数学体系_weixin_30678821的博客
来源：互联网
分享到：
