1.1 命题逻辑
1.1.1 引言
1.1.2 命题
非 ┐ ；合取(与)∧ ；析取(或∨ 异或⊕)
1.1.3 条件语句
p->q的常用术语：
"if p, then q" "如果p，那么q"
"p implies q" "p蕴含q"
"if p, q " "如果p，则q"
"p only if q" "q仅当p"
"p is sufficient for q" "p是q的充分条件"
"a sufficient condition for q is p" "q的充分条件是p"
"q if p" "q如果p"
"q whenever p" "q每当p"
"q when p" "当p则q"
"q is necessary for q" "q是p的必要条件"
"a necessary condition for p is q" "p的必要条件是q""
"q follows from p" "q由p推断"
"q unless ┐p" "q除非┐p"
1.1.4 复合命题的真值表
1.1.5 逻辑运算符的优先级
1.1.6 翻译语句
1.1.7 系统规范说明
1.1.8 布尔检索
1.1.9 逻辑难题
1.1.10 逻辑运算和位运算
1.2 命题等价
1.2.1 引言
1.2.2 逻辑等价
1.2.3 德摩根律的运用
1.2.4 构建新的逻辑等价式