靠性和完备性.以上规则的关键特性是它们是可靠的和完备的。非形式的说，这意味着规则都是正确的并且不再需要其他规则。这些要求可以如下这样正式的提出。我们定义真值指派为把命题变量映射到真或假的函数。非形式的，这种真值指派可以被理解为对事件的可能状态（或可能世界）的描述，在这里特定的陈述是真而其他为假。公式的语义因而可以被形式化，通过定义哪些"事件状态"是设定为真的。我们通过如下规则定义这种真值指派A在什么时候满足特定公式：通过这个定义，我们现在可以形式化公式φ被特定公式集合S蕴涵的意义。非形式的，就