Uma álgebra de Boole é um conjunto $A$, munido de duas operações binárias $+$ e $\cdot$ e uma unitária $-$ com dois elementos denotados por $0, 1 \in A$ tais que, para todo $a, b, c \in A$:
Normalmente denotamos por $ab$ em vez de $a \cdot b$.
1 Seja $X$ um conjunto. Mostre que $\wp(X)$ com as operações de $\cup$, $\cap$ e $\smallsetminus$ (complementar) formam uma álgebra de Boole.
2 Seja $A$ uma álgebra de Boole. Mostre que, para todo $a, b \in A$, temos:
3 Mostre que existe uma única álgebra de Boole com dois elementos.
Seja $A$ uma álgebra de Boole. Para $a, b \in A$, defina $a \leq b$ se $ab = a$.
4 Mostre que $\leq$ é uma ordem parcial.
5 Seja $A$ uma álgebra de Boole. Mostre que, dados $a, a', b, b' \in A$, se $a \leq b$ e $a' \leq b'$, então $aa' \leq bb'$.
6 Mostre que para todo $a \in A$, $0 \leq a \leq 1$.
7 Mostre que $a \leq b$ se, e somente se, $a + b = b$. Solução
8 Mostre que se $a \leq b$, então $-b \leq -a$.
Seja $A$ uma álgebra de Boole. Sejam $a, b \in A$. Denotamos por $a - b = a \cdot (-b)$.
9 Mostre que $a \not \leq b$ se, e somente se, $a - b \neq 0$.
Seja $A$ uma álgebra de Boole. Sejam $a, b \in A$. Denotamos por $a \Rightarrow b = -a + b$.
10 Mostre que $ab \leq c$ se, e somente se, $a \leq (b \Rightarrow c)$.Dica
Seja $A$ uma álgebra de Boole. Dizemos que $F \subset A$ é um filtro se:
Seja $A$ uma álgebra de Boole. Dizemos que $E \subset A$ é centrado se para todo $a_1, \ldots, a_n \in E$ temos que $a_1 \cdots a_n \neq 0$.
11 Seja $A$ uma álgebra de Boole. Seja $E \subset A$ não vazio e centrado. Mostre que $F = \{a \in A: \exists b_1, \ldots, b_n \in E\ b_1 \cdots b_n \leq a\}$ é um filtro sobre $A$. Chamamos este de filtro gerado por $E$.
Seja $A$ uma álgebra de Boole. Dado $F \subset A$ filtro, dizemos que $F$ é um ultrafiltro se $F$ é um filtro maximal com relação a inclusão.
12 Seja $F$ um filtro sobre uma álgebra de Boole $A$. Mostre que são equivalentes:Solução
13 Mostre que se $F$ é um filtro, então existe $F'\supset F$ ultrafiltro. Solução