逻辑 01 逻辑符号（全称量词（\(\forall\)）、存在量词（\(\exists\)））
1. 命题逻辑符号
否定符号（\(\neg\)）
定义：表示对一个命题的否定。如果命题\(P\)为真，那么\(\neg P\)为假；如果\(P\)为假，那么\(\neg P\)为真。
例如，\(P\)表示“今天是晴天”，\(\neg P\)就表示“今天不是晴天”。
运算规则：它是一元运算符，作用于单个命题。其真值表为：当\(P\)为真时，\(\neg P\)为假；当\(P\)为假时，\(\neg P\)为真。
合取符号（\(\land\)）
定义：也称为“与”运算，用于连接两个命题，表示两个命题同时成立。
例如，\(P\)表示“小明是学生”，\(Q\)表示“小明成绩优秀”，\(P\land Q\)表示“小明是学生并且成绩优秀”。
运算规则：它是二元运算符。当且仅当\(P\)和\(Q\)都为真时，\(P\land Q\)为真，否则为假。其真值表为：
| \(P\) | \(Q\) | \(P\land Q\) |
| 真 | 真 | 真 |
| 真 | 假 | 假 |
| 假 | 真 | 假 |
| 假 | 假 | 假 |
析取符号（\(\lor\)）
定义：也称为“或”运算，用于连接两个命题，表示两个命题至少有一个成立。
例如，\(P\)表示“小李会打篮球”，\(Q\)表示“小李会踢足球”，\(P\lor Q\)表示“小李会打篮球或者会踢足球”。
运算规则：它是二元运算符。只要\(P\)和\(Q\)中有一个为真，\(P\lor Q\)就为真；只有当\(P\)和\(Q\)都为假时，\(P\lor Q\)才为假。其真值表为：
| \(P\) | \(Q\) | \(P\lor Q\) |
| 真 | 真 | 真 |
| 真 | 假 | 真 |
| 假 | 真 | 真 |
| 假 | 假 | 假 |
蕴含符号（\(\to\)）
定义：用于表示两个命题之间的条件关系。如果\(P\)则\(Q\)，记作\(P\to Q\)。
例如，\(P\)表示“下雨”，\(Q\)表示“地面湿”，\(P\to Q\)表示“如果下雨，那么地面湿”。
运算规则：当\(P\)为真且\(Q\)为假时，\(P\to Q\)为假；其他情况下\(P\to Q\)为真。其真值表为：
| \(P\) | \(Q\) | \(P\to Q\) |
| 真 | 真 | 真 |
| 真 | 假 | 假 |
| 假 | 真 | 真 |
| 假 | 假 | 真 |
等价符号（\(\leftrightarrow\)）
定义：也称为“双条件”符号，用于表示两个命题相互等价，即\(P\)成立当且仅当\(Q\)成立，记作\(P\leftrightarrow Q\)。
例如，\(P\)表示“三角形是等边三角形”，\(Q\)表示“三角形的三个内角相等”，\(P\leftrightarrow Q\)表示“三角形是等边三角形当且仅当三角形的三个内角相等”。
运算规则：当\(P\)和\(Q\)的真值相同时，\(P\leftrightarrow Q\)为真；当\(P\)和\(Q\)的真值不同时，\(P\leftrightarrow Q\)为假。其真值表为：
| \(P\) | \(Q\) | \(P\leftrightarrow Q\) |
| 真 | 真 | 真 |
| 真 | 假 | 假 |
| 假 | 真 | 假 |
| 假 | 假 | 真 |
2. 量词符号（在谓词逻辑中使用）
全称量词（\(\forall\)）
定义：表示“对于所有的”、“任意一个”。
例如，\(\forall xP(x)\)表示对于论域中的所有\(x\)，命题\(P(x)\)都成立。如在自然数集\(N\)中，\(\forall x(x + 1>x)\)表示对于任意一个自然数\(x\)，\(x + 1\)都大于\(x\)。
存在量词（\(\exists\)）
定义：表示“存在”、“至少有一个”。
例如，\(\exists xP(x)\)表示在论域中存在至少一个\(x\)，使得命题\(P(x)\)成立。如在整数集\(Z\)中，\(\exists x(x^2 = 4)\)表示在整数集中存在至少一个\(x\)，使得\(x^2 = 4\)（这里\(x = 2\)或\(x=-2\)满足条件）。
3. 其他逻辑符号（在特定逻辑系统或应用中可能出现）
异或符号（\(\oplus\)）
定义：也称为“排斥或”，表示两个命题要么一个为真，要么另一个为真，但不能同时为真。
例如，\(P\)表示“硬币正面朝上”，\(Q\)表示“硬币反面朝上”，\(P\oplus Q\)表示“硬币要么正面朝上，要么反面朝上”。
运算规则：当\(P\)和\(Q\)的真值不同时，\(P\oplus Q\)为真；当\(P\)和\(Q\)的真值相同时，\(P\oplus Q\)为假。其真值表为：
| \(P\) | \(Q\) | \(P\oplus Q\) |
| 真 | 真 | 假 |
| 真 | 假 | 真 |
| 假 | 真 | 真 |
| 假 | 假 | 假 |
顶符号（\(\top\)）和底符号（\(\bot\)）
定义：\(\top\)表示永真命题（恒为真），\(\bot\)表示永假命题（恒为假）。在逻辑推理和证明中，它们可以作为特殊的命题来简化一些逻辑关系的表达。
例如，在证明过程中，有时候可以将某个已知的恒真或恒假的情况用\(\top\)或\(\bot\)来表示，以方便推导其他命题的真假性。
优先原则
1. 括号优先原则
在逻辑表达式中，括号具有最高优先级。括号内的逻辑运算会先于括号外的运算进行。例如，在表达式\((P\land Q)\lor R\)中，首先计算\(P\land Q\)的值，然后再将这个结果与\(R\)进行逻辑或运算。这就好比在算术运算中，\((2 + 3)\times4\)会先计算括号内的加法得到\(5\)，再计算乘法得到\(20\)。
例如，设\(P\)为“今天是晴天”，\(Q\)为“温度适宜”，\(R\)为“空气质量好”。在\((P\land Q)\lor R\)这个表达式中，如果今天是晴天且温度适宜（\(P\land Q\)为真），不管空气质量好不好（\(R\)的真假），整个表达式都为真；如果今天不是晴天或者温度不适宜（\(P\land Q\)为假），那么就要看空气质量是否好来确定整个表达式的真假。
2. 否定符号（¬）优先级
否定符号是仅次于括号的优先级。当一个逻辑表达式中有否定符号时，它会先作用于紧跟其后的命题。例如，在表达式\(\neg P\land Q\)中，先计算\(\neg P\)，然后再将结果与\(Q\)进行逻辑与运算。就像在算术运算中，\(-2\times3\)会先计算\(-2\)，再进行乘法运算。
例如，设\(P\)为“\(x > 5\)”，\(Q\)为“\(x < 10\)”。对于表达式\(\neg P\land Q\)，如果\(x = 3\)，那么\(\neg P\)（即\(x\leq5\)）为真，\(Q\)（\(x < 10\)）也为真，所以整个表达式为真。
3. 合取符号（∧）和析取符号（∨）优先级
合取和析取的优先级相同，并且低于否定符号。在没有括号的情况下，它们按照从左到右的顺序进行运算。例如，在表达式\(P\land Q\lor R\)中，先计算\(P\land Q\)，然后再将结果与\(R\)进行逻辑或运算。不过，为了避免歧义，最好还是使用括号来明确运算顺序，如\((P\land Q)\lor R\)。
例如，设\(P\)为“小明会打篮球”，\(Q\)为“小明会踢足球”，\(R\)为“小明会打羽毛球”。在表达式\(P\land Q\lor R\)中，如果小明会打篮球和踢足球（\(P\land Q\)为真），那么不管他会不会打羽毛球，整个表达式都为真；如果小明不会打篮球或者不会踢足球（\(P\land Q\)为假），那么就要看他会不会打羽毛球来确定整个表达式的真假。
4. 蕴含符号（→）和等价符号（↔）优先级
蕴含和等价符号的优先级低于合取、析取和否定符号。在没有括号的情况下，它们也按照从左到右的顺序进行运算。例如，在表达式\(P\land Q→R\)中，先计算\(P\land Q\)，然后再判断这个结果是否能蕴含\(R\)。
例如，设\(P\)为“今天下雨”，\(Q\)为“出门带伞”，\(R\)为“不会淋湿”。在表达式\(P\land Q→R\)中，如果今天下雨并且出门带伞（\(P\land Q\)为真），那么通常情况下不会淋湿（\(R\)为真），整个蕴含关系成立；如果今天没下雨（\(P\land Q\)为假），不管带不带伞和会不会淋湿，这个蕴含关系也成立。
5. 量词优先级（在谓词逻辑中）
在涉及量词（全称量词\(\forall\)和存在量词\(\exists\)）的表达式中，量词通常具有较高的优先级，它们会先作用于后面紧跟的变量和命题。例如，在表达式\(\forall x(P(x)\land Q(x))\)中，首先确定变量\(x\)的范围，然后对于这个范围内的每个\(x\)，判断\(P(x)\land Q(x)\)是否成立。
例如，设\(P(x)\)为“\(x\)是偶数”，\(Q(x)\)为“\(x\)大于\(0\)”。在表达式\(\forall x(P(x)\land Q(x))\)中，它表示对于所有的\(x\)，\(x\)既是偶数又大于\(0\)，这显然是假命题；而\(\exists x(P(x)\land Q(x))\)表示存在一个\(x\)，使得\(x\)既是偶数又大于\(0\)，这是真命题，比如\(x = 2\)时满足条件。
