命题逻辑基本概念

- 第一部分 数理逻辑 - 传统逻辑与数理逻辑：逻辑一词源于希腊文，意思指：词、思想、理性、规律等。 逻辑学研究的是：判别一个推理过程是否正确的标准。数理逻辑也叫符号逻辑，