布尔值简介

定义并固定一个完备的布尔代数B和一个一阶语言L，由一组常数符号、函数符号和关系符号组成。因此，L的布尔模型由全集M组成，全集M是元素(或名称)和这些符号的解释的集合。特别地，这个模型必须给L的每个常数符号分配一个M的元素，并且分配F和n元组< a0，...，an-1 & gt；模型中的每一个元素都被赋值为M，这个模型必须将M赋值给项目f(a0，...，an-1)。

关系符号和方程的解释更加复杂:对于M的每一对元素A和B，模型必须为表达式a = b | | | A = B | |指定一个真值；这个真值取自b。类似地，对于每个n元组符号R和n元组

需要写一些文字来解释解释方程的附加限制，并确保它是等价的，以及这种关系考虑了等价事物的替代。