##### 合式公式 - 合式公式 - **合式公式**是[[形式逻辑]]中符合语法规则的公式, 是[[命题逻辑]]和[[谓词逻辑]]讨论的对象. 重言式是永真式, 真值永远为真, 例如 $p\lor T$, 矛盾式是永假式, 真值永远为假, 例如 $p\land F$. 两个公式在所有情况下都有相同的真值, 记作 $p = q$, 并且其充分必要条件为 $p\leftrightarrow q$ 是重言式, 有一些[[逻辑等价]]. 可满足性是指一个公式存在一种真值赋值, 使得该公式为真 - 简单命题是合式公式 - 如果 $p$ 是合式公式, 那么 $\neg a$ 也是合式公式 - 如果 $p$, $q$ 是合式公式, 那么 $p\land q$, $q\lor q$ , $q\oplus q$ , $q\rightarrow q$ 和 $q\leftrightarrow q$ 是合式公式 - 当且仅当经过有限次使用前三种规则所组成的字符串才是合式公式 - 对于谓词逻辑则引入谓词和量词