尔代数中取值，布尔值模型是 Dana Scott、Robert M. Solovay 和 Petr Vopěnka 在1960年代为了帮助理解 Paul Cohen 的力迫方法而介入的。
定义.固定一个完全布尔代数 "B" 和一阶语言"L"，后者由一组常量符号、函数符号和关系符号构成。"L" 的布尔值模型因此就由全集 "M"，它是元素(或名字)的集合，和对这些符号的释义组成。特别是，这个模型必须为 "L" 的每个常量符号指派一个 "M" 的元素，并为 "L" 的每个 "n"-元函