Introducción a los valores booleanos

Definir y arreglar un álgebra booleana B completa y un lenguaje de primer orden L, que consta de un conjunto de símbolos constantes, símbolos de funciones y símbolos relacionales. Por tanto, el modelo booleano de L consta del universo M, que es el conjunto de elementos (o nombres) y las interpretaciones de estos símbolos. En particular, este modelo debe asignar un elemento de M a cada signo constante de L, y asignar F y n tuplas < a0,...,an-1 gt a cada elemento del modelo se le asigna el valor M. Este modelo debe asignar un elemento de M a cada signo constante de L, y asignar F y n tuplas < a0,...,an-1 gt; asigne M al elemento f (a0,..., an-1).

La interpretación de los símbolos y ecuaciones relacionales es más compleja: para cada par de elementos A y B de M, el modelo debe asignar un valor de verdad a la expresión a = b | |; esta verdad El valor se toma de b. De manera similar, para cada notación de n-tuplas R y n-tupla

es necesario escribir algún texto para explicar las restricciones adicionales a la hora de interpretar la ecuación y garantizar que es equivalente y que esta relación tiene en cuenta la equivalencia. Sustitución de cosas.