为什么凡对顶角都相等用一阶逻辑符号化化时,存在用合取,所有用蕴涵

此文是在本人学习完离散数学中嘚数理逻辑部分后, 对标题中各部分之间的联系存在很大的疑惑. 特此进行总结, 水平有限, 如有错误, 欢迎指正.

逻辑代数是一种用于描述客观事物邏辑关系的数学方法, 由英国科学家乔治. 布尔 (blogs.com/chenshu/p/.html

我要回帖

更多关于 一阶逻辑符号化 的文章

 

随机推荐