（亦称为句子符号、句子变数及命题变数）和逻辑联结词建构成的公式所组成的。在此形式语言中，唯一的非逻辑符号只有通常会标记为大写字母的命题符号。为了要使这个形式语言够精确，一些特定的命题符号必须要先确定。此类形式语言中的标准解释为一个将每一命题符号映射至真值的真或假之中其中一个的函数。此函数称为真值赋值函数。在许多的表述中，这个函数就于字面上的意思会赋予一个真值，但在部份的表述中，这个函数赋予的是另一种真值载体的概念。对有着"n" 个不同的命题变数的语言，存在2 个不同的可能解释。举任意一个变数"a"