Posterior: Teoría de conjuntos Arriba: Semántica básica del cálculo Anterior: Campos de Galois

Algebras booleanas

Sea ${\cal A}=(A,\land,\lor,\overline{\ },\mbox{\bf 1},\mbox{\bf0})$ un álgebra booleana, tal como se presentó en la sección . Sea $L_{\mbox{\scriptsize\it AB}}$ el alfabeto de álgebras booleanas tal como se presentó en el ejemplo 3.1.2. Es claro que ${\cal A}$ es una $L_{\mbox{\scriptsize\it AB}}$-estructura.