子称为相容的，若它至少在一个解释下为真；反之则称为不相容的。一个句子φ 称为逻辑有效的，若它满足于每一个解释（若φ 满足于每一个满足ψ 的解释，则称φ 为ψ 的逻辑结论）。
逻辑联结词.语言中的部份逻辑符号（不包含量化）为真值函数联结词，表现为一真值函数。此函数的参数为真值，亦传回真值（换句话说，为在句子的真值上的运算）。真值函数联结词让复合句子可以由较简单的句子中建构而成。如此，复合句子的真值即可定义为一真值函数，其参数为较简单句子的真值。联结词通常被视为逻辑常数，意指其意义