文字_(數理邏輯)

在數理邏輯中 ， 文字 ( literal ) 是一個原子公式 ( atom ) 或它的否定 。 文字可以分爲兩種類型: 肯定文字就是一個原子 。 否定文字是一個原子的否定 。 純文字是其變量 的所有出現都有相同符號的文字 。