符号的逻辑数理逻辑

符号的逻辑──数理逻辑 逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题