基础：逻辑和证明

[离散数学]1.1命题逻辑

命题：是一个陈述句（陈述事实的的语句），或真或假，但不能既真又假。
复合命题：由已知命题用逻辑运算符组合而来。
定义一：令p为命题，则p的否定记做┐p，指“不是p所指的情况”。
定义二：令p、q为命题，p、q的合取即命题“p并且q”，记做“p∧q”（与运算），只有p、q同时为真时，p∧q才真（同真才真，一假则假）。
定义三：令p、q为命题，p、q的析取即命题“p或q”，记做“p∨q”（或运算）。只有p、q皆为假时，p∨q才为假（一真即真，同假才假）。
定义四：令p、q为命题，p、q的异或即命题“p异或q”，记做“p⊕q”。p、q只有一个为真时p⊕q才为真，否则为假。（相同为假）
定义五：令p、q为命题，条件语句“p→q”是命题“如果p，则q”，只有当p真而q假时，p→q才为假，否则为真。 条件语句也称为蕴含。
ps：q→p称作p→q的逆命题。┐q→┐p称作p→q的逆否命题。┐p→┐q称作p→q的反命题.
定义六: 令p、q为命题，双条件语句“p↔ q”是命题“p当且仅当q”，当p、q有相同的真值时，则为真，否则为假。（相同为真，不同为假） 。（充分必要）
逻辑运算符的优先级：┐（1） ∧（2）∨（3） →（4） ↔（5）