离散数学知识点总结（命题逻辑的基本概念及等值演算）

1.命题：
  定义：能够判断真假的陈述句叫做命题（不以句号结尾的句子，以及悖论，2*x>10这样的都不是命题）

  2.连接词：否定：┓  合取：∧ 析取：∨ 蕴含：→ 等价：<->  (其中最容易让人记混的符号是合取∧ 和析取∨，我的记忆方法是合取是要倒过来盖上才能合上；而析取就像碗里装水，正着放水才能析出来，开口方向反过来的话，水直接就洒了，就谈不上析出了)

3.命题公式的层次计算：  先从最简单的开始比如p∧q，∧两边都是单个命题变项，层次为0，所以总层次=0+1=1。
再比如┐p∧q，按运算优先级┐p表示0+1层，∧右边的q为单个命题变项，总层次=max(1,0)+1=2。
在看一个：(┐p∧q)→r，先算→左边的层次数，上面已经算了为2，右边的还是一样，总层次=max(2,0)+1=3。

真值表：