逻辑代数、布尔代数、命题逻辑、数理逻辑——这几个概念的关系，还是有点晕
逻辑代数就是布尔代数！ 所谓逻辑代数，就是把逻辑推理过程代数化，即把逻辑推理过程符号化。 把逻辑代数里的逻辑变量：A、B、Y……，替换成命题：P、Q……； 把逻辑代数里的运算符：与（•）、或（+）、非（~），替换成：与（∧）、...
