离散数学（第一章：数理逻辑）

离散数学知识点整理

1. 第一章：数理逻辑
   ①命题公式的类型：重言式（永真式），矛盾式（永假式），可满足式
   ②析取式：相容或p∨q排斥或（有且仅有一个）(p∧﹁q)∨(﹁p∧q)
   ③蕴涵式：“如果p，则q”“只要p就q”“p仅当q”p→q
   “只有p，才q”q→p
   “除非p，否则q”﹁p→q或﹁q→p
   ④n个命题变项，2的n次方个赋值，成真赋值成假赋值，方法一观察法，方法二真值表法（不一定写出所有层次，写出主要层次即可）