判断题 数理逻辑是由布尔提出的。

判断题 现代逻辑的思维层次是推理到命题再到概念。

判断题 中国人自古以来就非常了解逻辑。