lgebra das Proposies

1 - Propriedade da Conjuno
Sejam p, q e r proposies simples quaisquer e sejam t e c proposies tambm simples cujo valores
lgicos respectivos so V (Verdade) e F (Falsidade).
a - Idempotente : p ^ p <=> p
b - Comutativa: p ^ q <=> q ^ p
c - Associativa: (p ^ q) ^ r <=> p ^ (q ^ r)
d - Identidade: p ^ t <=> p e p ^ c <=> c

2 - Propriedade da Disjuno
Sejam p, q e r proposies simples quaisquer e sejam t e c proposies tambm simples valores
lgicos respectivos so V (Verdade) e F (Falsidade).
a - Idempotente : p V p <=> p
b - Comutativa: p V q <=> q V p
c - Associativa: (p V q) V r <=> p V (q V r)
d - Identidade: p V t <=> p e p V c <=> c
3 - Propriedade da Conjuno e da Disjuno
Sejam p, q e r proposies simples quaisquer.
a - Distributivas:
(i) p ^ (q V r) <=> (p ^ q) V (p ^ r)
(ii) p V (q ^ r) <=> (p V q) ^ (p V r)
b - Absoro:
(i) p ^ (q V q) <=> p
(ii) p V (q ^ q) <=> p
c - Regras de DE MORGAN:
(i) ~ (p ^ q) <=> ~ p V ~ q
(ii) ~ (p V q) <=> ~ p ^ ~ q

4 - Negao da Bicondicional
Como p <-> q <=> (p -> q) ^ (q -> p), temos:
p <-> q <=> (~ p V q) ^ (~ q V p) e portanto:
~ (p <-> q) <=> ~ (p V q) V ~ (~ q V p)
~ (p <-> q) <=> (~ ~ p ^ ~ q) V (~ ~ q ^ ~ p)

Postulados
Como toda teoria matemtica, um conjunto de afirmaes (postulados) aceito sem a necessidade
de demonstrao. Tais postulados estabelecem os fundamentos da lgebra de Boole, determinam os
seus limites, definem as operaes e fornecem a sustentao para a demonstrao de teoremas.
Quaisquer que sejam X, Y ou Z pertencentes ao conjunto S, considere os seguintes postulados:
P1. Associatividade das operaes E e OU.
a) ( X+Y ) + Z = X + ( Y + Z )
b) ( X .Y ) . Z = X . ( Y . Z )
P2. Comutatividade das operaes E e OU.
a) X + Y = Y + X
b) X . Y = Y . X