离散数学与组合数学-爱代码爱编程
文章目录 第二章 谓词演算及其形式系统2.1 个体谓词和量词2.1.1 个体2.1.2 谓词2.1.3 量词2.1.4 谓词公式及语句的形式化 第二章 谓词演算及其形式系统 2.1 个
离散数学与组合数学-数理逻辑-01命题与联结词-爱代码爱编程
文章目录 1. 命题与联结词1.1 命题1.2 常用联结词1.3 命题公式等价关系式-逻辑等价 logically equivalent逻辑蕴涵 logically implication 1.4 命题的等值演
代码编织梦想