的真值。这种值通常被选择为布尔代数的成员。在布尔代数中的交和并算子等同于∧和∨逻辑连结词，所以形如"A" ∧ "B"的公式是在布尔代数中"A"的值和"B"的值的交。所以我们就有了一个有用的定理，一个公式是经典逻辑的有效的句子/断定，当且仅当它的值对于任何赋值都是1---就是说，对它的变量的任何指派都是真。对于直觉逻辑对应的法则也是真的，但是不再对每个公式指派（assign）来自布尔代数的值，而是使用来自海廷代数的值，布尔代数是它的特殊情况。公式在直觉逻辑中是有效的，当且仅当它对于在任何海廷代数上的任何赋