【數理邏輯三】命題邏輯及形式系統【下】

命題邏輯及形式系統【下】   在上一篇文章中我們已經討論了由原子命題和邏輯聯結詞構成的命題公式。下面我們來探討一下命題公式的分類，以及其中較爲重要的重言式。 一、重言式 命題公式可以從真值的角度進行分類： 重言式，（永真式）tautology：命題變元的所有賦值都是命題公式的成真賦值 矛盾式（永假式、不可滿足式）contradiction：命題變元的所有賦值都是命題公式的成假賦值 可滿足式(con

>>阅读原文<<