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 命题等价
来源: http://www.bubuko.com/infodetail-3010469.html