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。

真值表：

（其中最常用的是 12.蕴含等值式 ；还有6.德摩根律）

 

 

重点来了！

 

这个需要注意一下：

 

求合取范式和析取范式：（只能有┓  ∧ ∨三种符号）

 

自然系统中用推理规则证明（下面的必须要背下来，因为几乎必考，而且要求证明时写出你用了什么规则）

（相对来说构造性二难和破坏性二难出现频率较低）

另一个版本的（个人觉得这个版本更容易理解）：

 

最后加上个例题看一下怎么实战的