第1章　　基础：逻辑和证明

标签：优先级   rom   图片   异或   1.3   检索   follow   idt   ever   

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 构建新的逻辑等价式

第1章　　基础：逻辑和证明

标签：优先级   rom   图片   异或   1.3   检索   follow   idt   ever   

原文地址：https://www.cnblogs.com/Two-dimensionalSpace/p/10652453.html