，这是"A"的值的补集的内部。通过这些指派，直觉上有效的公式正好就是被指派为整个平面的值的公式。例如，公式¬("A" ∧ ¬"A")是有效的，因为不管为公式"A"选择什么集合"X"作为值，¬("A" ∧ ¬"A")的值总是被证实为整个平面：一个拓扑学定理告诉我们"X"°是"X"的子集，所以交集为空，因此：所以这个公式的赋值是真，这个公式确实是有效的。但是排中律"A"∨¬"A"，可以被证实是“无效的”，通过设定"A"的值是{"y" : "y" > 0 }。那么¬"A"的值是{"y" : "y"