离散数学--第一讲

否定联结词¬

合取联结词

析取联结词V

蕴涵联结词->

等价联结词<->

德摩根律

命题变项:取值为01的变元, 也用p,q,r等表示.

重言式(永真式)
矛盾式(永假式)
可满足式:不是矛盾式的命题公式

 基本等值式

 离散数学--第一讲_第1张图片离散数学--第一讲_第2张图片

重要推理规则(推理定律)

离散数学--第一讲_第3张图片

谓词与量词

 包含与相等

离散数学--第一讲_第4张图片

 幂集

离散数学--第一讲_第5张图片 

 集合运算

离散数学--第一讲_第6张图片

 基本集合恒等式

离散数学--第一讲_第7张图片

 

你可能感兴趣的:(离散数学--第一讲)