从命题逻辑看现代符号逻辑对传统形式逻辑的改造和发展

• Traditional Formal Logic Reformed and Developed by Modern Symbol Logic from Topic Logic