一、命题公式の属性
| 永真式（重言式） |
任何真值指派都为真 |
| 可满足式 |
存在一组真值指派为真 |
| 永假式（矛盾式） |
任何真值指派都为假 |
判定方法：
1 真值表法
2 化成主析取表达式（Σmi）/主合取表达式（πMi）
3 命题符号化并且化简逻辑表达式
二、有效结论
1、有效结论的定义
前提 ->结论
前提为真，或结论为假，二者一个成立就是有效结论
2、判定是不是有效结论
——熟练使用8条规则进行有效推理（P T CP F ES EG US UG）
推理时候保证ES规则首先使用；
使用UG规则的时候，由ES引入的客体不能进行推广
三、命题符号化
1）除非有时间我才去看电影
我去看电影->我有时间
2）我不承认你是对的，除非太阳从西边出来
太阳不从西边出来->我不承认你是对的
3）P当Q......P->Q
4）P仅当Q.....Q->P
5）P当且仅当Q......P<->Q
——把命题符号化时，全程量词对应->,存在量词对应合取
6）所有A都是B......(All X)(A(X)->B(X))
7)有些A满足B......（Exist X）（A（X）&& B(X)）
四、其他知识点（不断更新中）
所有极小项的析取——永真式；
所有极大项的合取——永假式。
逻辑运算符的优先级（从高到低）：
非 并 或 推出 等价。