Classical Tautology
经典重言式
核心定义
在经典命题逻辑（Classical Propositional Logic）体系下，重言式是指：
无论公式中的命题变元取“真（True）”还是“假（False）”，整个逻辑公式的真值 恒为真 的命题形式。
它是逻辑永真式，不依赖任何具体事实、前提条件，仅依靠逻辑结构本身就必然成立。
关键特征
1. 二值逻辑基底
“经典（Classical）”特指经典二值逻辑：命题只有真、假两种取值，遵循排中律（非真即假）、矛盾律（不能既真又假），这是重言式成立的底层规则。
2. 结构必然性
真值由逻辑联结词（¬非、∨或、∧且、→蕴含） 的结构决定，与变元内容无关。
经典例子（最易理解）
1. 排中律：p ∨ ¬p
（要么p成立，要么非p成立，永远为真）
例：今天下雨 或者 今天不下雨。
2. 矛盾律：¬(p ∧ ¬p)
（p和非p不能同时成立，永远为真）
3. 蕴含永真：(p ∧ q) → p
（如果p且q为真，那么p一定为真）
易混区分
1. 重言式：永远真
2. 矛盾式（Contradiction）：永远假
核心：不管p、q取真还是假，结果恒为假；
本质：逻辑自相矛盾，绝对不可能成立；
最简单例子：p ∧ ¬p（p 且 非p）
• p是真 → 真∧假=假
• p是假 → 假∧真=假
👉 永远假，没例外
3. 可满足式（Satisfiable Formula）：有时真，有时假
核心：存在至少一种组合为真，但不是所有组合都真（也叫「偶然式」，不永真、不永假）；
本质：真假取决于字母代入的具体内容；
最简单例子：p（单独一个命题变元）、p→q
• 例p：p真则真，p假则假
• 例p→q：p真q真=真，p真q假=假
👉 有时真、有时假
关键易混点补漏
1. 重言式 ⊂ 可满足式
重言式一定是可满足式（因为它永远真，肯定满足“至少有一个真”）；
但可满足式不一定是重言式（可能只是偶尔真）。
2. 矛盾式和前两者完全对立：既不是重言式，也不是普通可满足式。
