式所给定。形式文法递回地定义了语言的表示式和合式公式。之外，有时也可以给定一个语义，用以定义真值和赋值（或解释）。命题运算的语言包括：（1）一套原始符号，被称之为「原子公式」、「占位符」、「命题字母」或「命题变量」；（2）一套运算符号，被称之为「逻辑运算符」。一个「合式公式」是任一原子公式，或任一以运算符号依文法规则由原子公式建立起的公式。在下文中我们描述一种标准命题演算。很多不同的公式系统存在，它们都或多或少等价但在下列方面不同：（1）它们的语言（就是说哪些原始符号和运算符号是语言的一部分）；（2