文字 (数理逻辑) 在数理逻辑中文字literal是一个原子公式atom或它的否定文字可以分为两种类型 肯定文字就是一个原子 否定文字是一个原子的否定 纯文字是其变量在某个公式内的所有出现都有相同符号的文字