布尔值模型 在数理逻辑中布尔值模型是普通的塔斯基主义者的结构或模型概念的推广在其中命题的真值不被限定为真和假而是从某个固定的完全布尔代数中取值布尔值模型是 Dana ScottRobert M Solovay 和 Petr Vopěnka 在年代为了帮助理解 Paul Cohen 的力迫方法而介入的