↙️ backlink 重言式（永真公式）（tautology） 如果在所有解释下其真值都为“真” 矛盾式（永假公式）（contradiction） 如果在所有解释下其真值都为“假” 可满足公式（satisfiable） 如果不是矛盾式 公式的等价 设有命题 GG G、 HH H，若命题公式 G↔HG\leftrightarrow H G↔H是重言式，那么 G,HG,H G,H在任何情况下的真值都是一样的，此时称他们是等价的，记作 G=HG=H G=H（或 G⇔HG\Leftrightarrow H G⇔H） 公式等价的充分必要条件 对于任意两个公式 GG G和 HH H， G=HG=H G=H的充分必要条件是公式 G↔HG\leftrightarrow H G↔H是永真公式.