===== Álgebra de Boole =====

**Definição** Uma {{entry>á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$:
  - $a \cdot b = b \cdot a$ e $a + b = b + a$
  - $a \cdot (b \cdot c) = (a \cdot b) \cdot c$ e $a + (b + c) = (a + b) + c$
  - $a \cdot (b + c) = (a \cdot b) + (a \cdot c)$ e $a + (b \cdot c) = (a + b) \cdot (a + c)$
  - $a \cdot (a + b) = a + (a \cdot b) = a$
  - $a \cdot (-a) = 0$ e $a + (-a) = 1$
Normalmente denotamos por $ab$ em vez de $a \cdot b$.

**Observação** Ao longo das demonstrações, nos referiremos a essas definições como proposições de 1 a 5. 

**Exemplo** Seja $X$ um conjunto, $\wp(X)$ com as operações de $\cup$, $\cap$ e $\smallsetminus$ (complementar) formam uma álgebra de Boole [[.:exemplo:exemplo2|Detalhes]]

**Proposição** Seja $A$ uma álgebra de Boole. Para $a,0,1 \in A$, $a1 = a$ e $a+0 = a$  [[.:dem:demonstracao|Demonstração]]

**Proposição** Seja $A$ uma álgebra de Boole. Para $a,0,1 \in A$, $a+a = aa = a$ [[.:dem:demonstracao2|Demonstração]]

**Proposição** Seja $A$ uma álgebra de Boole. Para $a,0,1 \in A$, $a0 = 0$ e $a+1 = 1$ [[.:dem:demonstracao3|Demonstração]]

**Proposição** Seja $A$ uma álgebra de Boole. Para $0,1 \in A$, $-0 = 1$ e $-1 = 0$ [[.:dem:demonstracao4|Demonstração]]

**Proposição** Existe uma única álgebra de Boole com dois elementos [[.:dem:demonstracao11|Demonstração]]

**Definição** Seja $A$ uma álgebra de Boole. Para $a, b \in A$, defina $a \leq b$ se $ab = a$. 

**Proposição** A relação $\leq$ é uma ordem parcial [[.:dem:demonstracao5|Demonstração]]

**Proposição** Seja $A$ uma álgebra de Boole. Dados $a, a', b, b' \in A$, se $a \leq b$ e $a' \leq b'$, então $aa' \leq bb'$ [[.:dem:demonstracao6|Demonstração]]

**Proposição** Para todo $a \in A$, $0 \leq a \leq 1$ [[.:dem:demonstracao7|Demonstração]]

**Proposição** $a \leq b$ se, e somente se, $a + b = b$ [[.:dem:demonstracao8|Demonstração]]

**Definição** Seja $A$ uma álgebra de Boole. Sejam $a, b \in A$. Denotamos por $a - b = a \cdot (-b)$.

**Proposição** $a \not \leq b$ se, e somente se, $a - b \neq 0$ [[.:dem:demonstracao9|Demonstração]]

**Definição** Seja $A$ uma álgebra de Boole. Sejam $a, b \in A$. Denotamos por $a \Rightarrow b = -a + b$.

**Proposição** Seja $A$ uma álgebra de Boole. Sejam $a,b,c \in A$. $ab \leq c$ se, e somente se, $a \leq (b \Rightarrow c)$. [[.:dem:demonstracao14|Demonstração]]

**Definição** Seja $A$ uma álgebra de Boole. Dizemos que $F \subset A$ é um {{entry>filtro}} se:
  - $1 \in F$ e $0 \notin F$.
  - se $a, b \in F$, então $ab \in F$.
  - se $a \in F$ e $b \in A$ são tais que $a \leq b$, então $b \in F$.

**Definição** Seja $A$ uma álgebra de Boole. Dizemos que $E \subset A$ é {{entry>centrado}} se para todo $a_1, ..., a_n \in E$ temos que $a_1 \cdots a_n \neq 0$.

**Proposição** Seja $A$ uma álgebra de Boole. Seja $E \subset A$ não vazio e centrado. $F = \{a \in A: \exists b_1, ..., b_n \in E\ b_1 \cdots b_n \leq a\}$ é um filtro sobre $A$. Chamamos este de {{entry>filtro gerado}} por $E$. [[.:dem:demonstracao12|Demonstração]]

**Definição** Seja $A$ uma álgebra de Boole. Dado $F \subset A$ filtro, dizemos que $F$ é um {{entry>ultrafiltro}} se $F$ é um filtro maximal com relação a inclusão.

**Proposição** Seja $F$ um filtro sobre uma álgebra de Boole $A$. São equivalentes: [[.:dem:demonstracao13|Demonstração]]
  - $F$ é um ultrafiltro;
  - para todo $a \in A$, $a \in F$ ou $-a \in F$;
  - se $a + b \in F$, então $a \in F$ ou $b \in F$.

**Proposição** Se $F$ é um filtro, então existe $F'\supset F$ ultrafiltro. [[.:dem:demonstracao15|Demonstração]]