在数理逻辑中，文字(literal)是一个原子公式(atom)或它的否定。文字可以分为两种类型:纯文字是其变量(在某个公式内)的所有出现都有相同符号的文字。
解释.文字来源于拉丁文的 litera 就是字母的意思。在编程语言中，文字表示的字符串的意思，这个些字符串被允许或者用来定义基本类型的（Basistypen）（比如说，整数，浮点数，字符串等等）。它们没有被标记，但是却在某些情况下被植入编程源中。文字只能在右边的表达法（比如说在一个指示性运算符或者函数论证的右边）中出现