等价符号

等价符号

等价符号通常指的是 \(\leftrightarrow\) 或 \(\Leftrightarrow\) 或 \(\equiv\)，具体含义略有不同，分别说明如下。

1. \(\leftrightarrow\) 或 \(\Leftrightarrow\)（逻辑等价 / 当且仅当）

表示两个命题逻辑上等价，可以互相推出。

读法："当且仅当" 或 "等价于"

例子：

\[x > 0 \leftrightarrow -x < 0 \]

意思是：

• 如果 \(x > 0\)，则 \(-x < 0\)
• 如果 \(-x < 0\)，则 \(x > 0\)

两边互为充要条件，真值完全相同。

与单箭头的区别：

• \(P \to Q\)：P 成立则 Q 成立，但反过来不一定
• \(P \leftrightarrow Q\)：P 和 Q 同时成立或同时不成立

---

2. \(\equiv\)（恒等号 / 同余号）

① 恒等式

表示对变量的所有取值都成立。

例子：

\[(x + 1)^2 \equiv x^2 + 2x + 1 \]

无论 \(x\) 取什么值，等式都成立（和普通等号 \(=\) 的区别在于，\(=\) 可能是方程，只有特定值成立）。

---

② 同余关系（数论）

表示两个数除以某个数后余数相同。

例子：

\[7 \equiv 1 \pmod{3} \]

意思是 7 和 1 除以 3 的余数相同（都是 1）。

---

总结

符号	名称	含义
\(\leftrightarrow\) / \(\Leftrightarrow\)	逻辑等价	"当且仅当"，两命题真值相同
\(\equiv\)	恒等号	对所有变量取值都成立
\(\equiv \pmod{n}\)	同余号	除以 n 余数相同