离散！三要素！：前提！条件！结论！
第一章：逻辑和证明
第一节：条件语句和逻辑符号与真值表
命题：
在现代哲学、数学、逻辑学、语言学中，命题是指一个判断（陈述）的语义（实际表达的概念），这个概念是可以被定义并观察的现象。命题不是指判断（陈述）本身，而是指所表达的语义。当相异判断（陈述）具有相同语义的时候，他们表达相同的命题。在数学中，一般把判断某一件事情的陈述句叫做命题。
条件语句：由命题和逻辑符号构成的
逻辑符号：与、或、非、异或、同或
异或真值表
同或真值表与异或相反
应用
①翻译语句：逻辑语句能消除正常语句可能产生的二义性
②系统规范说明：硬件和软件系统需求
③布尔检索：搜索引擎——用逻辑符号并联关键词
④逻辑难题：骑士与流氓之类的IQ题？
⑤逻辑运算与位运算：二进制中的特殊操作
按位OR：或
按位AND：与
按位XOR：异或