Ch1命题逻辑
数理逻辑：研究一个形式语言，其本质是将数学中逻辑证实加以符号化，因而推进各数学分支快速发展。
命题：表示判断含有确定真值陈说句。
命题只要能判断真假，不一定已知真假非陈说性语句不是命题方程不是命题悖论不是命题
联结词
否定   合取  ∧  析取：  ∨ 条件   双条件  
翻译提醒：不可兼或：  (P Q )当 P则Q(假如P，那么Q) : P QP仅当 Q(仅当Q，则P) :   P Q除非P不然Q： P  Q 只要Ｐ，就有Ｑ： P  Q 只有Ｐ，才能Ｑ： Q  P定义普通翻译为双条件
优先级：　高　低
1、只有你主修计算机科学或者不是新生，才能从校园内    访问因特网。
2、除非你已满16周岁，不然只要你身高不足4英尺就不能乘公园滑行铁道。
3、只要充分考虑一切论证，就能得到可靠看法。
4、只有充分考虑一切论证，才能得到可靠看法。
5、我们不能既唱歌又看书。
6、假如天下雨，我出不出去看你是否同意而定。
7、我唱歌，仅当你伴奏。
8、或者你没有给我写信，或者信在路上丢失了。
9、假如天下雨，我就在家看书，不然我就去看电影 ...