2020年4月4日
浅析逻辑代数、命题逻辑、一阶逻辑、高阶逻辑和数理逻辑
摘要： 1. 从逻辑代数开始 逻辑代数是一种用于描述客观事物逻辑关系的数学方法，由英国科学家乔治·布尔 (George·Boole) 于 19 世纪中叶提出，因而又称布尔代数。 所谓逻辑代数，就是把逻辑推理过程代数化，即把逻辑推理过程符号化。 2. 从逻辑代数到命题逻辑 同样的，命题逻辑是将那些具有真假意义 阅读全文
posted @ 2020-04-04 22:08 辰述 阅读(4607) 评论(0) 推荐(0) 编辑