【离散数学】命题逻辑

目录

1. 命题

2. 联结词 

3. 真值表                                                     

4. 等价公式 

5. 蕴含式

6. 对偶式

7. 范式

8. 推理理论 

附：系列文章

---

1. 命题

（1）只有具有确定真值的陈述句才是命题，一切没有判断内容的句子，无所谓是非的句子，如感叹句、疑问句、祈使句等都不能作为命题。

（2）命题分为两种类型：

① 原子命题：不能分解为更简单的陈述语句。 

② 复合命题：由联结词，标点符号和原子命题复合构成的命题，称为复合命题。

【注】所有这些命题都应该具有确定的真值。

2. 联结词 

（1）否定（﹁） 

否定（﹁）

P	﹁P
T	F