PropOSItIonal Equvalence 命题演算 永真命题公式( Tautology) 公式中的命题变量无论怎样代入,公式对应的真值恒为T 永假命题公式( Contradiction) 公式中的命题变量无论怎样代入,公式对应的真值恒为F。 可满足命题公式( Satisfaction) 公式中的命题变量无论怎样代入,公式对应的真值总有 种情况为T。 般命题公式( Contingency) 既不是永真公式也不是永假公式 2/24/202111:14PM Deren Chen zhejiang univ 3Propositional Equivalences 命题演算 2/24/2021 11:14 PM Deren Chen, Zhejiang Univ. 3 永真命题公式（Tautology） 公式中的命题变量无论怎样代入，公式对应的真值恒为T。 永假命题公式（Contradiction) 公式中的命题变量无论怎样代入，公式对应的真值恒为F。 可满足命题公式（Satisfaction） 公式中的命题变量无论怎样代入，公式对应的真值总有一 种情况为T。 一般命题公式（Contingency） 既不是永真公式也不是永假公式