离散数学第一章知识点复习

离散数学第一章知识点复习_第1张图片

命题:陈述句   真值已经确定

原子命题(简单命题):不能被分解为更简单的命题

命题化的时候的解题步骤:

1. 先给出原子命题
2. 符号化

注意蕴含式:记作 p -> q ,p是前件,q 是后件
p 是 q 的充分必要条件, q 是 p 的必要条件  有以下的表达方式:
1. 只要 p , 就 q
2. 因为 p  ,所以 q
3. p 仅当 q
4. 只有q 才 p
5.除非 q 才 p
6. 除非 q ,否则非 p

等价式 记作 p <--> q  , p 和 q 互为充分必要条件

简单命题可以视作命题逻辑中的常数 , 叫做命题常项 或命题常元 ,对应的也有命题变项

单个命题变项 是 合式公式,并称为原子命题公式

如果 公式 A 是单个的命题变项,则称 A 为 0层公式
反 ,并 ,或 ,蕴含式 ,等价式 都可以 增加 公式的层数

成真赋值和成假赋值

你可能感兴趣的:(离散数学,离散)