【数理逻辑三】命题逻辑及形式系统【下】

命题逻辑及形式系统【下】   在上一篇文章中我们已经讨论了由原子命题和逻辑联结词构成的命题公式。下面我们来探讨一下命题公式的分类，以及其中较为重要的重言式。 一、重言式 命题公式可以从真值的角度进行分类： 重言式，（永真式）tautology：命题变元的所有赋值都是命题公式的成真赋值 矛盾式（永假式、不可满足式）contradiction：命题变元的所有赋值都是命题公式的成假赋值 可满足式(con

>>阅读原文<<