现在公认的数理逻辑创始人是莱布尼兹。他的目的是选出一种“通用代数”,其中把一切推理都化归为计算。实际上这正是数理逻辑的总纲领。他希望建立一套普遍的符号语言,其中的符号是表义的,这样就可以象数字一样进行演算,他的确将某些命题形式表达为符号形式,但他的工作只是一个开头,大部分没有发表,因此影响不大。
真正使逻辑代数化的是英国数学家布尔,他在1847年出版了《逻辑的数学分析》,给出了现代所谓的“布尔代数”原型。布尔确信符号化会使逻辑变得严密。他的对象是事物的类,1表示全类,0表示空类;xy表示x和y的共同分子所组成的类,运算是逻辑乘法;x+y表示x和y两类所合成的类,运算是逻辑加法。”
![在这里插入图片描述](https://img-blog.csdnimg.cn/2020032610490093.jpg)今天的文章逻辑代数的基本运算法则_布尔代数的子代数个数[通俗易懂]分享到此就结束了,感谢您的阅读。
版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。
如需转载请保留出处:https://bianchenghao.cn/88252.html