Elementos de L

ogica: Notas de Aula

Christina F. E. M. Waga
IME.UERJ
2012
Sumario
Introducao 1
1 Logica Proposicional 2
1.1 Linguagem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.1 Sintaxe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.2 Semantica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 C alculo Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.1 Implicacoes e Equivalencias Logicas . . . . . . . . . . . . . . . . . . . . . 4
1.2.2 Formas Normais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2.3 Demonstracoes: Direta, Condicional e Reducao ao Absurdo . . . . . . . 10
2 Teoria de Conjuntos 13
2.1 Conceitos B asicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2 Operac oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.3 Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3 Uma Introducao `a Interpretacao de Formulas da L ogica de 1
a
Ordem 21
3.1 Linguagem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.1.1 Sintaxe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.1.2 Semantica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.2 Demonstracoes em 1
a
Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
4

Algebra de Boole 30
4.1 Denic ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
4.2 Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2
4.3 Reticulados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.4 Express oes, Formas e Func oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
4.5 Circuitos Logicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4.6 Minimizac ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
5 Gabarito 42
5.1 1
a
Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
5.2

Algebra de Boole . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
5.3 Reticulados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
5.4 Minimizac ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3
Introdu cao
Este e um curso introdutorio de L ogica Matematica. Os seguintes t opicos ser ao abordados:
C alculo Proposicional: conectivos l ogicos, tabelas verdade, tautologias, regras de in-
ferencia, formas normais e argumentos: demonstrac ao direta e por reducao ao absurdo,

Algebra de Conjuntos,

Algebra de Boole,
Linguagem de primeira ordem, teoria e modelos e
Decidibilidade: conceituac ao basica.
Referencias bibliogracas importantes:
1. Alencar Filho, E., Iniciacao `a Logica Matematica, Nobel (2002).
2. Gersting, J.L., Fundamentos Matematicos para a Ciencia da Computacao, LTC (1995).
1
Captulo 1
Logica Proposicional
1.1 Linguagem
1.1.1 Sintaxe
Alfabeto
Smbolos Proposicionais: p, q, r, . . . ou p
1
, p
2
, p
3
, . . . .
Smbolos Conectivos:
Un ario: de negac ao
Bin arios: de conjunc ao , de disjun cao , de implica cao e o bicondicional

Smbolos de parenteses: ( e )
Gram atica
Denic ao de f ormulas bem escritas ou bem formadas (w):
G1 Todo smbolo proposicional e uma w.
G2 Se e s ao w entao (}, (}, (}, ( } e ( } tambem s ao w.
G3 Estas sao as unicas w.
Observacao 1.1.1
Alfabeto Grego
alfa eta n u tau
beta teta csi upsilon
gama iota o omcron
delta capa pi qui
epslon lambda r o psi
zeta m u sigma omega
2
1.1 Linguagem
1.1.2 Semantica
Tabelas Verdade: Cada smbolo proposicional pode assumir dois valores logicos ou valores
de verdade, Verdadeiro (V) ou Falso (F). Assim, dados n smbolos proposicionais teremos
2
n
casos a serem considerados, isto e, 2
n
linhas de uma tabela de verdade.
p p q p q r
V V V V V V
F V F V V F
F V V F V
F F V F F
F V V
F V F
F F V
F F F
Os valores logicos para as w obtidas a partir dos conectivos est ao determinados nas tabelas
verdade a seguir.

V F
F V
( } ( } ( } ( }
V V V V V V
V F F V F F
F V F V V F
F F F F V V
Observacao 1.1.2 Alem dos conectivos apresentados podemos incluir o smbolo de ou ex-
clusivo com a tabela verdade abaixo.
( }
V V F
V F V
F V V
F F F
Exerccio 1.1.3 Faca tabela verdade para cada uma das w.
1. p p
2. p (p}
3. (p q}
3
1.1 Linguagem
4. ( p} ( q}
5. ( p} q
6. (p q} (q p}
7. (p (q r}} ((p q} (p r}}
8. (p (q r}} ((p q} r}
9. (p (q r}} ((p q} r}
10. ((p q} r} (p (q r}}
11. ( }
12. ( }
13. (( } }
14. (( } }
15. (( } }
16. (( } ( }} ( }
17. (( } ( } ( }} ( }
18. (( } ( } ( }} ( }
1.2 Calculo Proposicional
1.2.1 Implicac oes e Equivalencias L ogicas
Uma w que e sempre verdadeira, isto e, todas as linhas de sua tabela verdade tem o valor
l ogico V, e denominada uma tautologia. Uma contradicao e uma w sempre falsa. J a
uma formula que assume tanto valores verdade quanto valores falso e uma contingencia.
Existem duas maneiras de se relacionar formulas proposicionais. Uma w implica
logicamente a w , , quando a formula condicional ( } e uma tautologia. A
w e logicamente equivalente a w , , quando a formula bicondicional ( }
e uma tautologia.
Considere V uma tautologia, F uma contradic ao e , , , w quaisquer.
4
1.2 Calculo Proposicional
Implicac oes Logicas ou Regras de Inferencia
F
V
Simplicac ao
Adic ao
Conjunc ao ,
Modus Ponens ( }
Modus Tollens ( }
Silogismo Disjuntivo ( }
Silogismo Hipotetico ( } ( }
Dilema Construtivo ( } ( } ( }
Dilema Destrutivo ( } ( } ( }
Equivalencias Logicas
Idempotencia
Comutativa

Associativa ( } ( } ( } ( }
( } ( } ( } ( }
Elemento Neutro V F
Elemento Zero FF VV
Princpio da Nao Contradi cao F
Princpio do Terceiro Excludo V
Dupla Negac ao
Distributiva ( } ( } ( } ( } ( } ( }
Absorc ao ( } ( }
( }
Semiabsorc ao ( } ( }
De Morgan ( } (} (} ( } (} (}
Forma Disjuntiva do Condicional (Lei de Filo)
Regra de Clavius
Forma Conjuntiva do Bicondicional ( } ( }
Forma Conjuntiva do Ou Exclusivo ( } ( }
Fortalecimento da Hip otese ( } ( }
Reduc ao ao Absurdo ( } F
Dada uma w condicional ( }, diz-se que a w ( } e sua recproca, a w
( } e a contrapositiva e ( } e a sua contraria. E se relacionam da seguinte
forma:
Contrapositiva ( } ( }
( } ( }
A lista (incompleta) de implicac oes e equivalencias l ogicas nos fornece um elenco de regras
de reescrita, denominadas regras de deducao, que preservam o valor verdade das w.
5
1.2 Calculo Proposicional
Exerccios 1.2.1
1. Faca tabela verdade para cada uma das w bicondicionais associadas ` as equivalencias
l ogicas.
2. Verique, usando tabela verdade e as regras, se:
(a)
(b)
(c)
(d)
(e)
(f)
(g)
(h) ( }
(i) ( }
(j) ( } ( }
(k) ( } ( } ( }
(l) ( } ( } ( }
(m) ( } ( } ( } ( }
3. Responda, usando as regras.
(a)
(b) ( }
(c)
(d)
(e) ( }
(f) ( }
(g) ( } ( } ( }
(h) ( } ( } ( }
4. Simplique as f ormulas.
(a) ( }
(b) ( }
(c) ( }
(d) ( }
(e) ( } }
(f) ( } ( }
6
1.2 Calculo Proposicional
(g) ( } ( }
(h) ( ( }}
(i) (( } }
(j) ( ( }}
(k) (( } }
(l) ( } ( }
1.2.2 Formas Normais
Dentre os conectivos logicos , , , e , tres exprimem-se em termos de apenas dois,
, }, , } e , }, denominados conjuntos completos de conectivos.
Considere o conjunto , }, temos:
( } (1.1)
( } (1.2)
( } ( } (1.3)
( } ( } (1.4)
Para o conjunto , }, temos:
( } (1.5)
(1.6)
(( } ( }} (1.7)
( } ( } (1.8)
E, para , }, temos:
( } (1.9)
(1.10)
(( } ( }} (1.11)
( } ( } (1.12)
Diz-se que uma w est a na forma normal (FN) quando contem somente os conectivos ,
e . Toda w e logicamente equivalente a um w na forma normal.
Exemplo 1.2.2 A w (( } ( }} nao esta na forma normal. Observe que, e
possvel obter pelo menos tres formas normais equivalentes `a w dada.
wff (( } ( }} (fdc}
FN (( } ( }} (dm}
FN ( } ( } (dn}
FN ( } ( }
7
1.2 Calculo Proposicional
Forma Normal Conjuntiva (FNC)
Uma w est a na FNC quando:
1. Est a na forma normal.
2. N ao existem dupla negac oes.
Uma negac ao n ao tem alcance sobre uma conjun cao nem sobre uma disjunc ao.
3. Uma disjunc ao nao tem alcance sobre uma conjunc ao.
Dada uma wf qualquer e sempre possvel obter uma w logicamente equivalente na FNC,
bastando seguir os seguintes passos.
Fnc1. Eliminar os conectivos e usando as regras de equivalencia Forma Disjuntiva do
Condicional e Forma Conjuntiva do Bicondicional.
Fnc2. Aplicar as regras de Dupla Nega cao e de De Morgan.
Fnc3. Usar a regra Distributiva ( } ( } ( }.
Forma Normal Disjuntiva (FND)
Analogamente, uma w est a na FND quando: Uma w est a na FNC quando:
1. Est a na forma normal.
2. N ao existem dupla negac oes.
Uma negac ao n ao tem alcance sobre uma conjun cao nem sobre uma disjunc ao.
3. Uma conjunc ao nao tem alcance sobre uma disjunc ao.
Obtendo a FND:
Fnd1. Eliminar os conectivos e usando as regras de equivalencia Forma Disjuntiva do
Condicional e Forma Conjuntiva do Bicondicional.
Fnd2. Aplicar as regras de Dupla Nega cao e de De Morgan.
Fnd3. Usar a regra Distributiva ( } ( } ( }.
8
1.2 Calculo Proposicional
Exerccios 1.2.3
1. Reescreva as f ormulas do item 4 do Exerccio 1.2.1 usando:
(a) , }
(b) , }
(c) , }
2. Determine a Forma Normal Conjuntiva das f ormulas.
(a)
(b)
(c) ( }
(d) ( }
(e) ( }
(f) ( }
(g) ( }
(h) ( } }
(i) ( } ( }
(j) ( } ( }
(k) ( }
(l) ( }
(m) ( } ( }
(n)
(o)
(p)
(q) ( }
(r) ( }
(s) ( }
(t) ( }
(u) ( }
(v) ( }
(w)
(x) ( } ( }
(y) ( } ( }
(z) (( }} ( }
3. Determine a Forma Normal Disjuntiva para as formulas do item anterior.
9
1.2 Calculo Proposicional
1.2.3 Demonstrac oes: Direta, Condicional e Reducao ao Absurdo
Agora, estamos interessados em como chegar a conclus oes a partir de um conjunto de w
dadas. Considere um conjunto de w =
1
, . . . ,
n
}, n 1, e uma w . Denomina-se
argumento toda armac ao de que o conjunto tem como consequencia ou acarreta a w
, denotamos por . Diz-se tambem que se deduz, se infere ou decorre de . Assim,
e denominado conjunto de hipoteses ou premissas do argumento e a w e denominada
tese ou conclusao do argumento.
Um argumento e valido quando (
1

n
} , isto e, quando a w
(
1

n
} e uma tautologia. Um argumento n ao valido e um sosma ou falacia.
Assim, a validade de um argumento pode ser feita mediante o uso de tabelas verdade,
como foi visto anteriormente. Uma abordagem mais eciente para vericar a validade de um
argumento consiste em deduzir ou demonstrar a conclus ao a partir do conjunto de premissas.
Uma deducao ou demonstracao direta da w a partir do conjunto de w e uma
sequencia nita de w (
1
, . . . ,
m
} tal que:
1. Para todo i = 1, . . . , m,
(a)
i
ou
(b)
i
foi obtida por aplicac ao de alguma das regras de inferencia ou equivalencia em
certas formulas
j
, 1 j < i, anteriores.
2.
m
= .
Exemplo 1.2.4 Uma demonstracao do argumento , } e:

3
CP1

4
DN3

5
MP2,4
Outro metodo para demonstrar a validade de argumentos do tipo e a de-
monstracao condicional, onde o enunciado e modicado para depois apresentarmos uma
demonstrac ao direta. Observe que, s o e valido quando ( } V, que,
pelo Fortalecimento da Hip otese, e equivalente a ( } V. Assim, o argumento
dado e v alido quando } e v alido.
Exemplo 1.2.5 Considere o argumento ( }, } . Usando demonstracao
condicional, rescrevemos o enunciado para ( }, , } e apresentamos a de-
monstracao para o enunciado fortalecido.
10
1.2 Calculo Proposicional

1
( }

4
( } FDC1

5
( } AssocC4

6
SD2,5

7
DN3

8
SD6,7
Finalmente, temos o metodo da demostracao por reducao ao absurdo ou por con-
tradicao, que tambem faz uma modicac ao no enunciado dado antes de apresentar uma
demonstrac ao direta. O argumento s o e v alido quando V, que, pela Reducao
ao Absurdo, e equivalente a ( } F V. Assim, o argumento dado e v alido
quando } F e v alido.
Exemplo 1.2.6 Considere o argumento , } (}. Usando demonstracao
por reducao ao absurdo, rescrevemos o enunciado para , , ( }} F e
apresentamos a demonstracao para o enunciado modicado.

3
( }

4
DN3

5
Simpl4

6
MP1,5

7
Simpl4

8
MP2,7

9
Conj6,8

10
F PNC9
Exerccios 1.2.7
1. Verique a validade dos argumentos apresentando demonstra coes.
(a) ( }, , }
(b) , , }
(c) , , }
(d) , , }
(e) , , }
(f) , , }
(g) , , }
(h) , , }
(i) , , }
11
1.2 Calculo Proposicional
(j) , }
(k) , ( } }
(l) ( }, , }
(m) , ( } , ( }}
(n) ( } , ( } ( ( }}, }
(o) , ( }, ( } , }
(p) ( } , , , , } ( }
(q) , , , }
(r) , ( }, ( }, }
(s) , ( } ( }, ( } , }
(t) , ( }, , ( }}
(u) , , , ( } ( }}
(v) , , , , }
(w) ( } ( }, , , }
(x) , , , }
(y) , , , , }
(z) , , , }
2. Use demonstrac ao condicional para demonstrar a validade dos argumentos.
(a) ( }, }
(b) (} , , (} , (} ( (}}}
(c) (}, } ( }
3. Use reduc ao ao absurdo para demonstrar a validade dos argumentos.
(a) (}, } ( }
(b) (} , (} , }
(c) ( }, }
(d) (} , , (} , (} ( (}}, }
(e) (} , (} , }
12
Captulo 2
Teoria de Conjuntos
2.1 Conceitos Basicos
Conjuntos podem ser entendidos como colec oes de objetos distintos n ao importando a
ordem em que aparecem. Estes objetos s ao denominados elementos do conjunto. Usa-se
para os nomes de conjuntos A, B, C, . . . e para os elementos x, y, z, . . . .
Se o objeto a e um elemento do conjunto A, diz-se que a pertence ao conjunto A,
a A. O smbolo denota a relac ao (bin aria) existente entre elemento e conjunto, indicando
a pertinencia do primeiro em rela cao ao segundo e pode ser lida como o elemento a pertence
ao conjunto A ou o elemento a esta no conjunto A. Se um elemento b n ao pertence a um
conjunto A, usa-se a A.
Um conjunto especial e o conjunto vazio, denotado por ou }, e e caracterizado pelo
fato de n ao possuir elementos.
Existem dois princpios importantes. O Princpio da Extensionalidade trata da igual-
dade de conjuntos. Um conjunto A e igual a um conjunto B quando todo elemento do
conjunto A e um elemento do conjunto B e todo elemento do conjunto B e elemento do
conjunto A. A notacao e A = B e a rela cao de igualdade e:
Reexiva: A = A, para todo conjunto A.
Simetrica: se A = B ent ao B = A, para quaisquer conjuntos A e B.
Transitiva: se A = B e B = C ent ao A = C, para quaisquer conjuntos A, B e C.
O Princpio da Especicacao diz respeito ` a especicacao de novos conjuntos a partir de
outros. Dados um conjunto A e uma propriedade P sobre os elementos de A, ca determinado
o conjunto B dos elementos de A que possuem a propriedade P. Assim, B = x A; P(x}}.
13
2.1 Conceitos Basicos
Exemplo 2.1.1 Considere o conjunto A = 1, 2, 3, 4, 5, 6, 7, 8, 9}. E as propriedades:
1. P x e par. O conjunto obtido a partir do conjunto A e da propriedade P e:
B = x A; P(x}} = x A; x e par} = 2, 4, 6, 8}
2. Q x e primo. Assim, C = 2, 3, 5, 7}.
3. R x e m ultiplo de 11. Entao D = .
Uma relac ao (bin aria) entre conjuntos e a de subconjunto. Um conjunto A e um sub-
conjunto de um conjunto B ou A est a contido em B ou B contem A, se todo elemento
do conjunto A e tambem um elemento do conjunto B. A notacao e A B e a rela cao de
subconjunto e:
Reexiva: A A, para todo conjunto A.
Antissimetrica: se se A B e B A ent ao A = B, para quaisquer conjuntos A e B.
Transitiva: se A B e B C ent ao A C, para quaisquer conjuntos A, B e C.
Outra relac ao existente entre conjuntos e a de subconjunto proprio. Um conjunto A e
um subconjunto proprio de um conjunto B ou A est a propriamente contido em B quando
existe pelo menos um elemento no conjunto B que n ao pertence ao conjunto A. A notacao
e A B e a rela cao de subconjunto pr oprio e:
Antissimetrica: se se A B e B A ent ao A = B, para quaisquer conjuntos A e B.
Transitiva: se A B e B C ent ao A C, para quaisquer conjuntos A, B e C.
Observacao 2.1.2 Podemos rever as denicoes da seguinte forma.
A B quando para todo elemento x, se x A entao x B.
A = B quando A B e B A.
A B quando A B e A B ou
A B e existe x B tal que x A.
O conjunto das partes ou conjunto potencia de um conjunto A e o conjunto formado
por todos os subconjuntos de A. Este conjunto e denotado por 2
A
ou P(A}. Assim, X 2
A
se, e somente se, X A. Quando os elementos de um conjunto A s ao eles mesmos conjuntos,
A e denominado uma famlia ou uma classe. Um conjunto pode ser classicado como
nito quando possui um n umero nito de elementos, caso contrario e denominado innito.
A cardinalidade de um conjunto nito A indica o n umero de seus elementos, denota-se por
A, |A| ou card(A}. Um conjunto A com um unico elemento, isto e, |A| = 1, e denominado
conjunto unitario. Um conjunto e denominado contavel ou enumeravel se for nito ou
se existir uma correspondencia um a um entre seus elementos e os n umeros naturais.
14
2.1 Conceitos Basicos
Exemplos 2.1.3
1. Sendo A = 0, 1, 2}, temos que 2
A
= , 0}, 1}, 2}, 0, 1}, 0, 2}, 1, 2}, 0, 1, 2}}. Ob-
serve que, |A| = 3 e |2
A
| = 8.
2. Os conjuntos numericos sao conjuntos innitos.
N umeros
N naturais
Z inteiros
Q racionais
I irracionais
R reais
C complexos
3. O conjunto A = 1, 2, 3, 4, 5, 6, 7, 8, 9} e nito enumeravel e N, Z e Q s ao innitos
enumer aveis, ja os conjuntos I, R e C s ao innitos n ao enumeraveis.
2.2 Opera coes
As operac oes (binarias) classicas em conjuntos s ao uni ao, interse cao, diferenca, complemento
e produto cartesiano.
A uniao de dois conjuntos A e B e o conjunto A B que contem todos os elementos do
conjunto A e todos os elementos do conjunto B.
A intersecao de dois conjuntos A e B e o conjunto AB que contem todos os elementos
comuns aos conjuntos A e B. Dois conjuntos A e B s ao denominados disjuntos quando sua
intersec ao e o conjunto vazio, ou seja, A B = .
A diferenca entre dois conjuntos A e B e o conjunto AB que contem os elementos que
pertencem exclusivamente ao conjunto A.
Sejam conjuntos A e B tais que A B, o complemento do conjunto A em relac ao
ao conjunto B e o conjunto
B
A dos elementos que pertencem ao conjunto B mas n ao
pertencem ao conjunto A.
Todos os conjuntos podem ser considerados como subconjuntos de um certo conjunto
prexado denominado conjunto universo e denotado por U. Assim, o complemento de
um conjunto A U e o conjunto

A = U A.
O produto cartesiano de dois conjuntos A e B e o conjunto AB cujos elementos s ao
todos os pares ordenados tais que a primeira ordenada e um elemento do conjunto A e a
segunda um elemento do conjunto B. Devemos lembrar que dois pares ordenados s ao iguais
quando as primeiras ordenadas s ao iguais e as segundas tambem. Quando temos um produto
cartesiano A A com n fatores usamos a notac ao A
n
.
15
2.2 Opera coes
Exemplo 2.2.1 Sejam os conjuntos A = a, b}, B = b, c, d, e}, C = a, b, c, d, e, f, g} e
U = a, . . . , z}.
1. A B = a, b, c, d, e}
2. A B = b}
3. A B = a} e B A = c, d, e}
4. B C = e C B = a, f, g}
5.
C
A = c, d, e, f, g}
6.

A = c, . . . , z}
Os conceitos apresentados podem ser visualizados utilizando-se Diagramas de Venn
apresentados a seguir.
A=B
A
B
P
B
A
A B
A B
A B
B
A
A
U
AB AB
AB A-B
C
B
A
A
16
2.2 Opera coes
Observacao 2.2.2 Podemos rever os conceitos da seguinte forma:
x A B se, e somente se, x A ou x B.
x A B se, e somente se, x A e x B.
x A B se, e somente se, x A e x B.
A B, x
B
A se, e somente se, x B A
se, e somente se, x B e x A.
x

A se, e somente se, x A.
(x, y} A B se, e somente se, x A e y B.
(x, y} = (z, t} se, e somente se, x = z e y = t.
2.3 Teoremas
Teorema 2.3.1 A, para todo conjunto A.
Prova: Para todo elemento x, x . A w (x } e falsa e a w (x } (x A} e
verdadeira. Logo, A.
Teorema 2.3.2 O conjunto vazio e unico.
Prova: (RAA) Vamos supor que existem dois conjuntos vazios

. Pelo teorema
anterior,

. Ent ao, =

. Contradic ao. Logo, o conjunto vazio e unico.

Teorema 2.3.3 Seja A um conjunto nito com |A| = n, entao |2
A
| = 2
n
=
n
i=0
{
n
i
).
Teorema 2.3.4 Sejam A e B conjuntos nitos. Entao |A B| = |A| + |B| |A B|.
Teorema 2.3.5 Sejam |A| = n e |B| = m. Entao |A B| = nm.
Teorema 2.3.6 As operacao de uniao e de intersecao possuem as propriedades:
1. Associativa: para quaisquer conjuntos A, B e C
(A B} C = A (B C} e (A B} C = A (B C}
2. Comutativa: para quaisquer conjuntos A e B
A B = B A e A B = B A
17
2.3 Teoremas
3. Elemento Neutro: para todo conjunto A
A = A = A e A U = U A = A
4. Elemento Zero: para todo conjunto A
A U = U A = U e A = A =
5. Distributivas: para quaisquer conjuntos A, B e C
(A B} C = (A C} (B C} e A (B C} = (A B} (A C}
(A B} C = (A C} (B C} e A (B C} = (A B} (A C}
6. Idempotencia: para todo conjunto A
A A = A e A A = A
7. Absorcao: para quaisquer conjuntos A e B
(A B} A = A e (A B} A = A
8. Complementaridade: para todo conjunto A
A

A = U e A

A =
9. Involucao: para todo conjunto A

A = A
10. De Morgan: para quaisquer conjuntos A e B
A B =

A

B e A B =

A

B
Prova:
1. x (A B} C x (A B} x C (x A x B} x C x A (x B x C}
x A (B C}.
x (A B} C x (A B} x C (x A x B} x C x A (x B x C}
x A (B C}.
2. x A B x A x B x B x A x B A.
x A B x A x B x B x A x B A.
18
2.3 Teoremas
Exerccios 2.3.7
1. Apresente demonstracoes para os teoremas.
2. Indique Verdadeiro ou Falso.
(a) A = a, b}.
( }b} A ( }a} A ( } A ( }a A
(b) A = a, b, c}, B = a, b}, C = b, c, d}, D = b} e E = c, d}.
( }B A ( }D C ( }E e D s ao disjuntos ( }A = B ( }B C = D
3. Considere A = 1, 2, 3, 4, 5, 6}, B = 4, 5, 6, 7, 8, 9}, C = 2, 4, 6, 8}, D = 4, 5}, E = 5, 6}
e F = 4, 6}. Um conjunto G tal que G A, G B e G C e algum dos conjuntos
dados?
4. Indique os conjuntos vazios.
(a) A = x Z; x e mpar e x
2
= 4}
(b) B = x Z; x + 9 = 9}
(c) C = x Z; x 0 e x
2
< 1}
(d) D = x Z; x
2
< 1}
5. Indique o conjunto potencia de A = 1, 2, 3, 4}.
6. De exemplos de famlias.
7. De exemplo de um conjunto innito tal que exista func ao injetora entre este conjunto
e um de seus subconjuntos pr oprios.
8. Apresente conjuntos enumeraveis innitos distintos dos apresentados no texto.
9. Seja A = x Z; x 0 e x e m ultiplo de 2} e B = x Z; x 0 e x e m ultiplo de 3}.
Indique os conjuntos A B, A B e A B.
10. Responda, justicando.
(a) Todo subconjunto de um conjunto enumer avel e nito ou enumeravel ?
(b) A uni ao de conjuntos enumer aveis e enumer avel ?
(c) E o produto cartesiano?
11. Considere |A| = n e |B| = m. Para cada um dos itens, apresente condic oes para que seja
possvel estabelecer uma expressao matem atica.
(a) |A B|
(b) |A B|
(c) |
B
A|
(d) |

A|
19
2.3 Teoremas
12. Faca diagramas de Venn para os eguintes casos.
(a) A B
(b) A B
(c) A B
(d) A B
(e) A B
(f) A B = A C, mas B C
(g) A B A C, mas B C
(h) A B A C, mas B C
(i) A B = A C, mas B C
13. Demonstre:
(a) (A B}

A = B

A
(b) A (

A B} = A B
(c) A B = A se, e somente se, A B =
(d) A B = A (A B}
(e) A (B C} = (A B} (A C}
(f) (A B} C = A (B C}
(g) (A B} C = (A C} (B C}
(h) (A B} (C D} = (A C} (B D}
20
Captulo 3
Uma Introdu cao `a Interpreta cao de Formulas da
Logica de 1
a
Ordem
3.1 Linguagem
3.1.1 Sintaxe
Alfabeto
Smbolos de Parenteses: ( e )
Smbolos Conectivos: , , , e
Smbolo de Igualdade: =
Smbolos de Variaveis: x, y, z, . . .
Smbolos de Constantes: a, b, c, . . .
Smbolos de Predicados: Para cada inteiro positivo n, um conjunto de smbolos
denominados smbolos de predicado n- ario, P, Q, R, . . . .
Smbolos de Funcoes: Para cada inteiro positivo n, um conjunto de smbolos
denominados smbolos de func ao n- ario, f, g, h, . . . .
Smbolos Quanticadores: universal e existencial .
Exemplos 3.1.1
1. Linguagem de predicados
smbolos de constantes: a, b, c
smbolos de predicados: unario P e binario Q
2. Linguagem de teoria de conjuntos
smbolo de constante:
smbolo de predicado binario:
21
3.1 Linguagem
3. Linguagem de teoria elementar de n umeros
smbolo de constante: 0
smbolo de predicado binario: <
smbolos de funcoes: unaria suc e binarias + e
Gram atica
Uma express ao e qualquer sequencia nita de smbolos. Expressoes l ogicas sao os
termos e as f ormulas (w).
Os termos sao os nomes da linguagem, s ao as express oes que podem ser interpretadas
como nomeando um objeto. Assim, podemos denir os termos da seguinte forma:
T1 Todo smbolo de variavel e um termo.
T2 Todo smbolo de constante e um termo.
T3 Sejam f um smbolo de func ao n- ario e t
1
, . . . , t
n
termos
ent ao f(t
1
, . . . , t
n
} tambem e um termo.
Os f ormulas podem ser entendidas como declarac oes sobre os objetos. Uma formula
at omica e uma expressao denida por:
Fa1 Sejam t
1
e t
2
termos ent ao t
1
= t
2
e uma formula at omica.
Fa2 Se P e um smbolo de predicado n- ario e t
1
, . . . , t
n
s ao termos
ent ao P(t
1
, . . . , t
n
} e tambem uma f ormula atomica.
F ormulas bem formadas, formulas ou ws s ao as seguintes expressoes:
W1 Toda f ormula atomica e uma w.
W2 Se e s ao ws e x e um smbolo de vari avel
ent ao (}, ( }, ( }, ( }, ( }, x e x tambem sao ws.
Exemplos 3.1.2 Considere as linguagens dos Exemplos 3.1.1.
1. a, b e c sao termos,
P(a} e Q(a, c} sao formulas atomicas e
(P(b}}, (P(a} Q(b, c}} e xQ(x, a} sao ws.
2. e um termo,
x = e x y sao formulas atomicas e
xyzt(t z (t = x t = y}} e w.
3. 0, suc(0}, suc(suc(0}}, suc(0} + x e suc(suc(0}} suc(0} sao termos,
x = 0 e x < suc(x} sao formulas atomicas e
x(x 0 (y x = suc(y}} e w.
22
3.1 Linguagem
3.1.2 Semantica
Vamos denir quando uma variavel x ocorre livre em (OLE) uma w :
1. Se e uma formula at omica, x OLE quando x e um smbolo de .
2. Se e (} ent ao x OLE quando x OLE .
3. Se e ( }, ( }, ( } ou ( }
ent ao x OLE quando x OLE ou x OLE .
4. Se e y ou y
ent ao x OLE quando x OLE e x y.
Se um smbolo de vari avel nao ocorre livre na w , diz-se que a variavel esta ligada ou
amarrada. Quando uma w n ao tem smbolos de vari avel livres, a w e denominada uma
sentenca. Devemos observar que os quanticadores tem a propriedade de ligar as variaveis
e e importante ressaltar a import ancia da parentetizac ao neste caso, pois eles denem o
escopo do quanticador.
Exemplo 3.1.3 Considere uma linguagem com dois smbolos de predicados unarios P e Q.
As ws x(P(x} Q(x}} e (xP(x}} (y Q(y}} sao sentencas.
A variavel x OLE (xP(x}} Q(x}.
Uma estrutura ou interpretacao A para uma dada linguagem de 1
a
ordem e uma func ao
que atribui:
1. Aos smbolos quanticadores um conjunto n ao vazio A denominado o universo de A.
2. A cada smbolo de constante c um elemento c
A
do conjunto A.
3. A cada smbolo de predicado n- ario P uma relac ao n- aria P
A
A
n
.
4. A cada smbolo de func ao n- aria f uma func ao n- aria f
A
A
n
A.
Assim, a estrutura A atribui signicado aos smbolos da linguagem. Podemos agora
estabelecer quando uma w e verdadeira na estrutura A.
Considere V o conjunto de variaveis e a funcao s V A que atribui a cada vari avel
(livre) um elemento do conjunto A. Esta funcao s pode ser estendida ao conjunto de termos
T da linguagem. Assim, fun cao s T A e tal que:
1. Para cada smbolo x de vari avel, s(x} = s(x}.
2. Para cada smbolo c de constante, s(c} = c
A
.
3. Se f e um smbolo de func ao n- aria e t
1
, . . . , t
n
s ao termos
ent ao s(f(t
1
, . . . , t
n
}} = f
A
( s(t
1
}, . . . , s(t
n
}}.
23
3.1 Linguagem
A estrutura A satisfaz a w com s,
A
|s|, quando a traducao de determinada
por A e por s e verdade, de forma mais precisa, temos que:
1.
A
t
1
= t
2
|s| quando s(t
1
} = s(t
2
}.
2.
A
P(t
1
, . . . , t
n
} |s| quando ( s(t
1
}, . . . , s(t
n
}} P
A
.
3.
A
|s| quando
A
|s|.
4.
A
|s| quando
A
|s| e
A
|s|.
5.
A
|s| quando
A
|s| ou
A
|s|.
6.
A
|s| quando
A
|s| ou
A
|s|.
7.
A
|s| quando
A
|s| se e somente se
A
|s|.
8.
A
x |s| quando para todo d A,
A
|s(x|d}|, sendo que s(x|d} e exatamente a
func ao s exceto que a variavel x assume o valor d, isto e,
s(x|d}(y} = _
s(y} se y x
d se y = x
9.
A
x |s| quando existe d A,
A
|s(x|d}|.
Uma w e e valida quando e verdadeira para todas as estruturas. Um conjunto de ws
implica logicamente uma w , , quando para toda estrutura A para a linguagem
e para toda fun cao s V A, se A satisfaz cada elemento de com s ent ao A tambem
satisfaz com s.
Exemplo 3.1.4
1. Ws validas:
P(x} (Q(x} P(x}}
xP(x} P(c}
x(P(x} Q(x}} (xP(x} xQ(x}}
2. Relacionando ws:
xP(x} P(x}
xP(x} xP(x}
xP(x} xP(x}
xP(x} xP(x}
x(P(x} Q(x}} (xP(x} xQ(x}}
24
3.1 Linguagem
Exerccios 3.1.5
1. Para cada uma das especicacoes, escolha uma linguagem e apresente ws.
(a) O conjunto e unit ario.
(b) Um conjunto em que todos os elementos se relacionam entre si.
(c) Um conjunto no qual nenhum elemento se relaciona.
(d) Um conjunto em que todos os elementos se relacionam com alguem.
(e) Um conjunto com uma relacao de equivalencia.
(f) Um conjunto com uma relac ao de ordem.
(g) Um conjunto com uma relacao que descreve uma fun cao.
(h) Um conjunto com uma funcao un aria injetiva.
(i) Um conjunto com uma funcao un aria sobrejetiva.
(j) Um conjunto com uma funcao un aria constante.
2. Considere uma linguagem com os seguintes smbolos: variaveis v
1
, . . . , v
n
, uma cons-
tante c, uma func ao unaria f e um predicado binario P, e a estrutura A tal que A = N,
c
A
= 0, f
A
(x} = x + 1, P
A
e s V N e tal que s(v
i
} = i 1. Interprete:
(a) f(f(v
3
}}
(b) f(f(c}}
(c) P(c, f(v
1
}}
(d) v
1
P(c, v
1
}
(e) v
1
P(v
2
, v
1
}
3. Para cada uma das ws encontre uma estrutura em que ela e verdadeira e outra em
que e falsa.
(a) x((P(x} Q(x}} (P(x} Q(x}}}
(b) xy(P(x, y} P(y, x}}
(c) x(P(x} yQ(x, y}}
(d) x(P(x} yQ(x, y}}
(e) (xP(x} xQ(x}} x(P(x} Q(x}}
4. Indique condic oes para que as formulas sejam satisfeitas.
(a) xP(x}, xP(x} e xP(x}
(b) x(P(x} Q(x}}, x(P(x} Q(x}}, x(P(x} Q(x}} e x(P(x} Q(x}}
(c) x(P(x} Q(x}}, x(P(x} Q(x}}, x(P(x} Q(x}} e x(P(x} Q(x}}
(d) x(P(x} Q(x}}, x(P(x} Q(x}}, x(P(x} Q(x}} e x(P(x} Q(x}}
(e) x(P(x) Q(x)), x(P(x) Q(x)), x(P(x) Q(x)), x(P(x) Q(x)) e x(P(x) Q(x))
25
3.1 Linguagem
(f) x(P(x} Q(x}}, x(P(x} Q(x}} e x(P(x} Q(x}}
(g) xP(x}, xP(x} e xP(x}
(h) x(P(x} Q(x}}, x(P(x} Q(x}}, x(P(x} Q(x}} e x(P(x} Q(x}}
(i) x(P(x} Q(x}}, x(P(x} Q(x}}, x(P(x} Q(x}} e x(P(x} Q(x}}
(j) x(P(x} Q(x}}, x(P(x} Q(x}}, x(P(x} Q(x}} e x(P(x} Q(x}}
(k) x(P(x) Q(x)), x(P(x) Q(x)), x(P(x) Q(x)), x(P(x) Q(x)) e x(P(x) Q(x))
(l) x(P(x} Q(x}}, x(P(x} Q(x}} e x(P(x} Q(x}}
5. Compare as ws usando , , ou .
(a) xP(x} xP(x}
(b) x(P(x} Q(x}} (xP(x}} (xQ(x}}
(c) x(P(x} Q(x}} (xP(x}} (xQ(x}}
(d) x(P(x} Q(x}} (xP(x}} (xQ(x}}
(e) x(P(x} Q(x}} (xP(x}} (xQ(x}}
(f) x(P(x} Q(x}} (xP(x}} (xQ(x}}
26
3.1 Linguagem
3.2 Demonstra coes em 1
a
Ordem
De forma an aloga ao C alculo Proposicional, estamos interessados em como chegar a con-
clus oes a partir de um conjunto de w de 1
a
Ordem dado, ou seja, estamos interessados em
demonstrac oes na L ogica de 1
a
Ordem.
Considere um conjunto de w =
1
, . . . ,
n
}, n 1, e uma w , para um argumento
ser valido e necess ario que exista uma demonstracao de a partir de , ou seja, seja
uma consequencia logica de baseada na estrutura das w, ou ainda, a w (
1

n
}
tem que ser v alida em todas as interpreta coes.
Alem das equivalencias l ogicas e das regras de inferencia do C alculo Proposicional, temos
tambem as seguintes regras de deducao de 1
a
Ordem:
1. Eliminacao do quanticador universal ou particularizacao universal (PU)
x |x|t| com t um termo qualquer da linguagem sendo que se o termo t for uma
vari avel, ela deve OLE .
x
|x|t| PU
Ideia: Se a w x e verdadeira entao pode-se substituir o smbolo de variavel x por
qualquer termo t que a w |x|t| e tambem verdadeira.
Cuidado: Considere uma linguagem L = P
2
} e a w xyP(x, y}.
Se aplicarmos a regra PU, obtemos:
xyP(x, y} |x|y| yP(y, y}.
A estrutura |Z, <| yP(y, y} j a que a w y Z y < y n ao e verdadeira.
Exemplo: x(P(x} Q(x}}, Q(y}} P(y}
1 x(P(x} Q(x}}
2 Q(y}
3 P(y} Q(y} PU1
4 P(y} MT2,3
2. Eliminacao do quanticador existencial ou particulariza cao existencial (PE)
x |x|t| onde t e um termo n ao utilizado anteriormente na demonstracao.
x
|x|t| PE
27
3.2 Demonstracoes em 1
a
Ordem
Ideia: Se a w e verdadeira para algum elemento do conjunto A, podemos nomea-lo,
mas nao podemos supor nada mais sobre ele.
Cuidado: O termo escolhido deve ser novo.
Exemplo: x(P(x} Q(x}}, yP(y}} Q(a}
1 x(P(x} Q(x}}
2 yP(y}
3 P(a} PE2
4 P(a} Q(a} PU1
4 Q(a} MP3,4
3. Generalizac ao Universal (GU): x

x GU
Ideia: Se garantirmos que w e verdadeira e que o smbolo de vari avel x pode ser
qualquer elemento do conjunto A, entao podemos inserir um quanticador universal.
Cuidado: Se supormos que x e um certo elemento de A tal que e verdadeira entao
n ao podemos fazer a generallizac ao.
Exemplo: x(P(x} Q(x}}, xP(x}} xQ(x}
1 x(P(x} Q(x}}
2 xP(x}
3 P(x} Q(x} PU1
4 P(x} PU2
5 Q(x} MP3,4
6 xQ(x} GU5
4. Generalizacao Existencial (GE): x

x GU
Ideia: Se alguma coisa foi nomeada garantindo que a w seja verdadeira, ent ao
podemos inserir um quanticador existencial.
Cuidado: A vari avel x n ao pode aparecer em . Por exemplo, a partir da w P(a, y}
n ao e possvel deduzir yP(y, y}, pois o argumento P(a, y} yP(y, y} n ao e valido
em qualquer estrutura. A estrutura |Z, 0, <| 0 < y mas |Z, 0, <| y y < y.
Exemplo: xP(x}} xP(x}
28
3.2 Demonstracoes em 1
a
Ordem
1 xP(x}
2 P(x} PU1
3 xP(x} GE2
29
Captulo 4

Algebra de Boole
4.1 Deni cao
Uma algebra de Boole (George Boole 1815-1864) e a estrutura |B, +, ,

| sendo
B e um conjunto com dois elementos distintos 0 e 1,
+ e s ao operac oes binarias em B e

e uma operacao un aria em B.
com as seguintes propriedades das operacoes, para quaisquer, x, y, z B,
B1 Associativa: (x + y} + z = x + (y + z} (x y} z = x (y z}
B2 Comutativa: x + y = y + x x y = y x
B3 Elemento Neutro: x + 0 = x x 1 = x
B4 Complemento: x + x

= 1 x x

= 0
B5 Distributiva: x + (y z} = (x + y} (x + z} x (y + z} = (x y} + (x z}
Exemplos 4.1.1

Algebras de boole:
1. |0, 1}, +, ,

| sendo que:
+ 0 1
0 0 1
1 1 1
0 1
0 0 0
1 0 1
x x

0 1
1 0
2. |2
A
, , ,| com A = a, b}, 0 = , 1 = a, b} e as operacoes:
a} b} a, b}
a} b} a, b}
a} a} a} a, b} a, b}
b} b} a, b} b} a, b}
a, b} a, b} a, b} a, b} a, b}
a} b} a, b}

a} a} a}
b} b} b}
a, b} a} b} a, b}
30
4.1 Denicao
x x

a, b}
a} b}
b} a}
a, b}
3. |1, 2, 3, 5, 6, 10, 15, 30}, mmc, mdc,

| tal que:
mmc 1 2 3 5 6 10 15 30
1 1 2 3 5 6 10 15 30
2 2 2 6 10 6 10 30 30
3 3 6 3 15 6 30 15 30
5 5 10 15 5 30 10 15 30
6 6 6 6 30 6 30 30 30
10 10 10 30 10 30 10 30 30
15 15 30 15 15 30 30 15 30
30 30 30 30 30 30 30 30 30
mdc 1 2 3 5 6 10 15 30
1 1 1 1 1 1 1 1 1
2 1 2 1 1 2 2 1 2
3 1 1 3 1 3 1 3 3
5 1 1 1 5 1 5 5 5
6 1 2 3 1 6 2 3 6
10 1 2 1 5 2 10 1 10
15 1 1 3 5 1 5 15 15
30 1 2 3 5 6 10 15 30
x x

1 30
2 15
3 10
5 6
6 5
10 3
15 2
30 1
4.2 Propriedades
A partir dos axiomas da algebra de Boole e possvel demonstrar que:
1. Idempotencia: x + x = x
x + x =
-
B3
(x + x} 1 =
-
B4
(x + x} (x + x

} =
-
B5
x + (x x

} =
-
B4
x + 0 =
-
B3
x
2. Elemento Zero ou Absorvente x + 1 = 1
x + 1 =
-
B4
x + (x + x

} =
-
B1
(x + x} + x

=
-
Idemp.
x + x

=
-
B4
1
3. Unicidade do complemento.
(RAA) Supor que x + y = 1 e x y = 0 com y x

.
y =
-
B3
1y =
-
B4
(x+x

}y =
-
B5
(xy}+(x

y} =
-
hip.
0+(x

y} =
-
B4
(x

x}+(x

y} =
-
B5
x

(x+y} =
-
hip.
x

1 =
-
B3
x

Contradi cao. Logo, o complemento e unico.

4. Semiabsorcao: x + (x

y} = x + y
x + (x

y} =
-
B5
(x + x

} (x + y} =
-
B4
1 (x + y} =
-
B3
x + y
5. x (y + (x z}} = (x y} + (x z}
x (y + (x z}} =
-
B5
(x y} + (x (x z}} =
-
B1
(x y} + (x x z} =
-
Idemp.
(x y} + (x z}
31
4.2 Propriedades
Exerccio 4.2.1 Mostre que, para quaisquer x, y, z B:
1. x x = x
2. x 0 = 0
3. Involucao: (x

= x
4. De Morgan: (x + y}

= x

e (x y}

= x

+ y

5. Absorcao: x + (x y} = x e x (x + y} = x
6. x (x

+ y} = x y
7. x + (y (x + z}} = (x + y} (x + z}
8. (x + y} (x

+ y} = y e (x y} + (x

y} = y
9. (x + (y z}}

= (x

} + (x

} e (x (y + z}}

= (x

+ y

} (x

+ z

}
10. (x + y} (x + 1} = x + (x y} + y e (x y} + (x 0} = x (x + y} y
11. (x + y} + (y x

} = x + y e (x y} (y + x

} = x y
12. x + ((x

y} + (x y}}

= x + y

13. ((x y} z} + (y z} = y z
14. (y

x} + x + ((y + x} y

} = x
15. ((x

+ z

} (y + z

}}

= (x + y

} z
16. (x y} + (x

z} + (x

y z

} = y + (x

z}
17. (x y

} + (y z

} + (x

z} = (x

y} + (y

z} + (x z

}
18. x y

= 0 se, e somente se, x y = x.

19. (x y

} + (x

y} = y se, e somente se, x = 0.

20. x + y = 0 se, e somente se, x = 0 e y = 0.
21. x = y se, e somente se, (x y

} + (y x

} = 0.
32
4.3 Reticulados
4.3 Reticulados
Um conjunto parcialmente ordenado |A, | e composto por um conjunto n ao vazio A
e uma rela cao binaria em A reexiva, antissimetrica e transitiva, isto e, para quaisquer
x, y, z A,
Reexiva: Se x y e y x ent ao x = y.
Antissimetrica: Se x y e y x ent ao x = y.
Transitiva: Se x y e y z ent ao x z.
Seja |A, | e x, y A. O supremo de x e y e o elemento s A tal que
S1 x s,
S2 y s e
S3 se existir algum z A com x z e y z ent ao s z.
Onmo de x e y e o elemento i A tal que
i1 i x,
i2 i y e
i3 se existir algum z A com z x e z y ent ao z i.
Notac ao: s = x y = x + y e i = x y = x y
Um reticulado e um conjunto parcialmente ordenado no qual existe supremo e nmo
para quaisquer dois elementos. Assim, supremo enmo podem ser entendidos como opera coes
bin arias em A. Denota-se um reticulado por |A, , +, |. Um reticulado e complementado
quando
RC1 Existe um menor elemento 0, isto e, para todo x A, 0 x.
RC2 Existe um maior elemento 1, ou seja, para todo x A, x 1.
RC3 Para todo elemento x A existe x

A tal que x + x

= 1 e x x

= 0.
Um reticulado e distributivo quando para quaisquer x, y, z A,
RD x + (y z} = (x + y} (x + z} e x (y + z} = (x y} + (x z}.
Um reticulado complementado e distributivo e uma algebra de Boole.
33
4.3 Reticulados
Exerccio 4.3.1 Indique os diagramas de Hasse que representam algebras de Boole, justi-
cando.

4.4 Expressoes, Formas e Fun coes

Uma expressao booleana e:
b1. Qualquer smbolo de vari avel.
b2. Se e s ao express oes boolenas ent ao + , e

tambem sao.
Um literal e uma express ao do tipo vari avel ou vari avel complementada. Um produto
fundamental e ou um literal ou um produto de literais em que n ao apareca um smbolo de
vari avel repetido. Uma expressao booleana e uma express ao em soma de produtos ou est a
na forma normal (disjuntiva )quando e um produto fundamental ou a soma de produtos
fundamentais.
Exemplo 4.4.1 Seja |B, +, ,

| uma algebra de Boole.

expressao literal produto fundamental FN
x

x

xy

z

xy

z + x

yz

(x + y}

z

xyx

Uma funcao booleana e uma func ao f 0, 1}
n
0, 1} para algum n 1.
As possveis representa coes de uma fun cao booleana s ao por uma tabela ou por um Mapa
de Karnaugh (Maurice Karnaugh 1924-). O mapa de Karnaugh e uma representac ao
matricial que armazena somente os valores 1 da func ao de modo que o produto de variaveis
de entrada que diferem apenas por um fator sejam adjacentes.
34
4.4 Expressoes, Formas e Funcoes
Exemplos 4.4.2 Considere as funcoes.
1. f 0, 1}
2
0, 1} tal que f(1, 1} = 0, f(1, 0} = 1, f(0, 1} = 1 e f(0, 0} = 0.
x
1
x
2
f(x
1
, x
2
}
1 1 0
1 0 1
0 1 1
0 0 0
x
1
x

1
x
2
0 1
x

2
1 0
2. Seja a func ao f 0, 1}
3
0, 1} tal que f(1, 1, 1} = f(1, 1, 0} = f(0, 1, 1} = f(0, 0, 1} = 1
e f(1, 0, 1} = f(1, 0, 0} = f(0, 1, 0} = f(0, 0, 0} = 0.
x
1
x
2
x
3
f(x
1
, x
2
, x
3
}
1 1 1 1
1 1 0 1
1 0 1 0
1 0 0 0
0 1 1 1
0 1 0 0
0 0 1 1
0 0 0 0
x
1
x
2
x
1
x

2
x

1
x

2
x

1
x
2
x
3
1 1 1
x

3
1
Podemos associar a cada func ao booleana uma express ao. No exemplo anterior item 1, ` as
linhas 2 e 3 cam associados os produtos fundamentais x
1
x

2
e x

1
x
2
, respectivamente. Assim,
a func ao ca associada ` a expressao booleana na forma normal
f(x
1
, x
2
} = x
1
x

2
+ x

1
x
2
.
No item 2, `as linhas 1, 2, 5 e 7 cam associados os produtos fundamentais x
1
x
2
x
3
, x
1
x
2
x

3
,
x

1
x
2
x
3
e x

1
x

2
x
3
, respectivamente. Ent ao, a func ao ca associada ` a express ao booleana na
forma normal
f(x
1
, x
2
, x
3
} = x
1
x
2
x
3
+ x
1
x
2
x

3
+ x

1
x
2
x
3
+ x

1
x

2
x
3
.
Para fun coes com um n umero maior de variaveis, o mapa e a representacao mais sintetica.
Considere o mapa a seguir.
x
1
x
2
x
1
x

2
x

1
x

2
x

1
x
2
x
3
x
4
1
x
3
x

4
x

3
x

4
1 1
x

3
x
4
1
A funcao associada e:
f(x
1
, x
2
, x
3
, x
4
} = x
1
x

2
x
3
x
4
+ x
1
x
2
x

3
x

4
+ x

1
x
2
x

3
x

4
+ x
1
x

2
x

3
x
4
.
35
4.4 Expressoes, Formas e Funcoes
4.5 Circuitos Logicos
Caractersticas gerais:
Descargas eletricas alta e baixa, 1 e 0, respectivamente.
Flutuac oes de voltagem s ao ignoradas.
O sinal 1 faz com que o interruptores feche e o 0 abra.
x = 1 x = 0
Combina cao de interruptores x e y em paralelo.
x
1
= 1
x
2
= 0
1
Esta combinac ao pode ser associada ` a operac ao boolena x + y e `a porta l ogica OU.

x
1
x
2
x
1
+ x
2

1 1 1
1 0 1
0 1 1
0 0 0
x
2
x
1
x
1
+x
2
36
4.5 Circuitos Logicos
Combina cao de interruptores x e y em serie.

x
1
= 1 x
2
= 0 0
Esta combinac ao pode ser associada ` a operac ao boolena x y e `a porta l ogica E.

x
1
x
2
x
1
. x
2

1 1 1
1 0 0
0 1 0
0 0 0
x
2
x
1
x
1
.x
2
Um inversor (negac ao) corresponde ` a operac ao unaria booleana

.

x
1
x'
1
1 0
0 1
x'
1
x
1
Observe que, circuitos podem ser associados a func oes booleanas, isto e, a expressoes
booleanas.
37
4.5 Circuitos Logicos
Exemplo 4.5.1 Ao circuito

ca associada a expressao booleana

x
1
x

2
x
3
x
4
+ x
1
x
2
x

3
x

4
+ x

1
x
2
x

3
x

4
+ x
1
x

2
x

3
x
4
.
4.6 Minimiza cao
Considere a express ao do Exemplo 4.5.1
x
1
x

2
x
3
x
4
+ x
1
x
2
x

3
x

4
+ x

1
x
2
x

3
x

4
+ x
1
x

2
x

3
x
4
e a manipula cao algebrica:

1
x
1
x

2
x
3
x
4
+ x
1
x
2
x

3
x

4
+ x

1
x
2
x

3
x

4
+ x
1
x

2
x

3
x
4
= B2

2
x
1
x

2
x
3
x
4
+ x
1
x

2
x

3
x
4
+ x
1
x
2
x

3
x

4
+ x

1
x
2
x

3
x

4
= B5

3
x
1
x

2
x
4
(x
3
+ x

3
} + (x
1
+ x

1
}x
2
x

3
x

4
= B4

4
x
1
x

2
x
4
1 + 1x
2
x

3
x

4
= B3

5
x
1
x

2
x
4
+ x
2
x

3
x

4
Cada uma das linhas desta manipulacao e uma expressao booleana associada ` a mesma
func ao booleana. Tanto
1
quanto
5
est ao na forma normal, e
5
e a forma simplicada
ou mnima de
1
.
Vamos tratar agora de minimizac ao de circuitos atraves do mapa de Karnaugh. Devemos
agrupar todas as ocorrencias adjacentes contendo uns de forma a obter a maior combinacao
possvel. Assim reduziremos o n umero de parcelas na express ao.
x
1
x
2
x
1
x

2
x

1
x

2
x

1
x
2
x
3
x
4
1
x
3
x

4
x

3
x

4
1 1
x

3
x
4
1
38
4.6 Minimizacao
Observe que, tomar celuas adjacentes corresponde ` a simplicac ao algebrica com o uso dos
axiomas da distributividade, complementaridade e elemento neutro.
Finalmente, o circuito de Exemplo 4.5.1 e equivalente a um circuito menor.

x
2
x
2
x
1
x
4
x
3
x
4
Exemplo 4.6.1 Considere o mapa de Karnaugh com oito produtos fundamentais.
x
1
x
2
x
1
x

2
x

1
x

2
x

1
x
2
x
3
x
4
1 1
x
3
x

4
1 1
x

3
x

4
1 1
x

3
x
4
1 1
Dois possveis agrupamentos de uns.
x
1
x
2
x
1
x

2
x

1
x

2
x

1
x
2
x
3
x
4
1 1
x
3
x

4
1 1
x

3
x

4
1 1
x

3
x
4
1 1
x
1
x
2
x
1
x

2
x

1
x

2
x

1
x
2
x
3
x
4
1 1
x
3
x

4
1 1
x

3
x

4
1 1
x

3
x
4
1 1
Com cinco e quatro produtos, respectivamente.
x

1
x

2
+ x
1
x

2
x
3
x
4
+ x

1
x
2
x
3
x

4
+ x
1
x

2
x

3
x

4
+ x

1
x
2
x

3
x
4
e
x

2
x
3
x
4
+ x

1
x
3
x

4
+ x

2
x

3
x

4
+ x

1
x

3
x
4
.
Passos para minimizacao atraves de Mapas de Karnaugh.
1. Forma a parcela correspondente as celulas isoladas contendo 1.
2. Combine as celulas adjacentes que so podem ser agrupadas de um unico modo formando
blocos de tamanho 2, se possvel.
3. Combine as celulas adjacentes que so podem ser agrupadas de um unico modo formando
blocos de tamanho 4, se possvel.
39
4.6 Minimizacao
4. Combine as celulas adjacentes que so podem ser agrupadas de um unico modo formando
blocos de tamanho 8, se possvel.
5. Combine as celulas adjacentes restantes contendo 1 em blocos de maneira mais eciente
possvel.
Exerccio 4.6.2 Indique a expressao boolena mnima para cada uma das funcoes indicadas
nos mapas de Karnaugh.
1 1 1 1 1 1
1 1
1 1
1 1
1 1
1 1
1 1
1 1
1 1
1 1 1
1 1
1
1 1 1 1
1 1
1 1
1 1
1 1
1 1
1 1
1 1
1
1
1 1
1 1
1 1
1 1
1 1 1
1 1
1
1
1 1 1
1
1 1
1 1
1 1 1
1
1 1 1 1
1 1 1
1 1 1
1 1
1
1 1
1 1 1
1
1 1 1
1 1 1
1
1
1 1
1 1
1
1 1
1 1 1 1
1 1
1 1
1 1
1 1
1 1
1 1
40
Captulo 5
Gabarito
5.1 1
a
Ordem
1. (a) O conjunto e unit ario.
L = c} e x x = c
(e) Um conjunto com uma relac ao de equivalencia.
L = P
2
} xP(x, x}
xy(P(x, y} P(y, x}}
xyz((P(x, y} P(y, z}}} P(x, z}}
(i) Um conjunto com uma func ao un aria sobrejetiva.
L = f
1
} e yxf(x} = y
2. (a) f(f(v
3
}}
s(f(f(v
3
}}} = f
A
(f
A
( s(v
3
}}} = f
A
(f
A
(s(v
3
}}} = f
A
(f
A
(2}}} = f
A
(2 + 1} = 4
(e) v
1
P(v
2
, v
1
}

A
v
1
P(v
2
, v
1
} |s| quando para todo d N,
A
P(v
2
, v
1
} |s(v
1
|d}|
quando para todo d N, ( s(v
1
|d}(v
2
}, s(v
1
|d}(v
1
}} P
A
quando para todo d N, (s(v
1
|d}(v
2
}, s(v
1
|d}(v
1
}} P
A
quando para todo d N, (1, d} P
A
quando para todo d N, 1 d
3. (a) x((P(x} Q(x}} (P(x} Q(x}}} x(P(x} Q(x}}
Assim, a formula e satisfeita quando P
A
Q
A
= A e P
A
Q
A
= . Por exemplo,
A = 2, 3, 4, 8, 9} com P
A
m ultiplo de 2 e Q
A
m ultiplo de 3.
J a para A = N com P
A
m ultiplo de 2 e Q
A
m ultiplo de 3, a w n ao e satisfeita.
(e) (xP(x} xQ(x}} x(P(x} Q(x}}
41
5.1 1
a
Ordem
(xP(x} xQ(x}} x(P(x} Q(x}}
(xP(x} xQ(x}} x(P(x} Q(x}}
(xP(x} xQ(x}} x(P(x} Q(x}}
(xP(x} xQ(x}} x(P(x} Q(x}}
(xP(x} xQ(x}} x(P(x} Q(x}}
Essa w e satisfeita quando:
(P
A
= A e Q
A
A} ou P
A
Q
A
E nao e satisfeita quando, por exemplo, Q
A
P
A
A.
4. (a) xP(x}: P
A
= A
xP(x}: P
A
=
xP(x} xP(x}:

P
A

(f) x(P(x} Q(x}}: P
A
= Q
A
x(P(x} Q(x}}: P
A
Q
A
x(P(x} Q(x}} x(P(x} Q(x}}: P
A
Q
A
= A e P
A
Q
A
=
(l) x(P(x} Q(x}}: P
A
Q
A
e P
A
Q
A

x(P(x} Q(x}} x(P(x} Q(x}} x(P(x} Q(x}}:
P
A
Q
A
= A e P
A
Q
A
=
x(P(x} Q(x}} x(P(x} Q(x}}: P
A
Q
A
5. (a)
xP(x} xP(x}
P
A
= A P
A

(f)
x(P(x} Q(x}} (xP(x}} (xQ(x}}
P
A
= Q
A
P
A
= A sse Q
A
= A
5.2

Algebra de Boole
Itens:
1. x x = xx + 0 = xx + xx

= x(x + x

} = x1 = x
5. x + (x y} = x1 + xy = x(1 + y} = x1 = x
9. (x + (y z}}

= x

(yz}

= x

(y

+ z

} = (x

} + (x

}
10. Enunciado correto: (x + y} (x + 1} = x + (x y} + y e (x y} + (x 0} = x (x + y} y
13. ((x y} z} + (y z} = (x(yz}} + (yz} = y z
20. Enunciado correto: x + y = 0 se, e somente se, x = 0 e y = 0
42
5.2

Algebra de Boole
21. se x = y (x y

} + (y x

} = (xx

} + (xx

} = 0 + 0 = 0
se (x y

} + (y x

} = 0 xy

= 0 e yx

= 0 xy = x e yx = y x = y
5.3 Reticulados

Todos os diagramas representam posets. O quinto diagrama n ao e um reticulado. O

quarto, setimo e oitavo nao s ao complementados. O terceiro nao e distributivo. Assim, o
primeiro, segundo e o sexto s ao algebras de Boole.
5.4 Minimiza cao
1 1 1 1
x
3
1 1
1 1
x
1
x
2
x
3
+ x

1
x

2
+ x

2
x

3
1 1
1 1
1 1
1 1
x
2
x
3
x
4
+ x

2
x

4
+ x
2
x

3
x
4
ou . . .
1
1 1 1
1
x

1
x
2
x
3
+ x

2
x
3
x

4
+ x
1
x

2
x

4
ou . . .
1
1 1 1
1 1 1
1
x
1
x

2
+ x

2
x

4
+ x

1
x
3
x

4
+ x
1
x

3
x

4
43