公理NOT-3は命題式の意味論的値付けの可能性を反映している：式の真理値は真か偽のどちらかである。
公理NOT-3叫做排中律（拉丁语tertiumnondatur：“排除第三者”）并反映了命题公式的语义求值：公式的真值要么是真要么是假。