Você está na página 1de 47

gica: Notas de Aula

Elementos de Lo
Christina F. E. M. Waga

IME.UERJ
2011

Sumario
Introduc
ao

1 L
ogica Proposicional

1.1

1.2

Linguagem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.1.1

Sintaxe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.1.2

Semantica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Calculo Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.1

Implicacoes e Equivalencias Logicas . . . . . . . . . . . . . . . . . . . . .

1.2.2

Formas Normais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.3

Demonstracoes: Direta, Condicional e Reducao ao Absurdo . . . . . . . 10

2 Teoria de Conjuntos

13

2.1

Conceitos Basicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

2.2

Operacoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

2.3

Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

3 Uma Introduc
ao `
a Interpretac
ao de F
ormulas da L
ogica de 1a Ordem
3.1

3.2

21

Linguagem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.1.1

Sintaxe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

3.1.2

Semantica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23

Demonstracoes em 1a Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27

4 Algebra
de Boole

30

4.1

Definicao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

4.2

Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2

4.3

Reticulados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

4.4

Expressoes, Formas e Funcoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

4.5

Circuitos Logicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

4.6

Minimizacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39

5 Gabarito

42

5.1

1a Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42

5.2

Algebra
de Boole . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43

5.3

Reticulados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44

5.4

Minimizacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44

Introducao
Este e um curso introdutorio de Logica Matematica. Os seguintes topicos serao abordados:
Calculo Proposicional: conectivos logicos, tabelas verdade, tautologias, regras de inferencia, formas normais e argumentos: demonstracao direta e por reducao ao absurdo,

Algebra
de Conjuntos,

Algebra
de Boole,
Linguagem de primeira ordem, teoria e modelos e
Decidibilidade: conceituacao basica.
Referencias bibliograficas importantes:
1. Alencar Filho, E., Iniciacao `a Logica Matematica, Nobel (2002).
2. Gersting, J.L., Fundamentos Matematicos para a Ciencia da Computacao, LTC (1995).

Captulo 1
Logica Proposicional
1.1 Linguagem
1.1.1 Sintaxe
Alfabeto
Smbolos Proposicionais: p, q, r, . . . ou p1 , p2 , p3 , . . . .
Smbolos Conectivos:
Unario: de negacao
Binarios: de conjuncao , de disjuncao , de implicacao e o bicondicional

Smbolos de parenteses: ( e )
Gramatica
Definicao de formulas bem escritas ou bem formadas (wff):
G1 Todo smbolo proposicional e uma wff.
G2 Se e sao wff entao (), ( ), ( ), ( ) e ( ) tambem sao wff.
G3 Estas sao as u
nicas wff.
Observac
ao 1.1.1

alfa
beta
gama
delta
epslon
zeta

Alfabeto Grego

eta

teta

iota
o

capa

lambda

m
u

2

n
u
csi
omcron
pi
ro
sigma

tau
u
psilon
fi
qui
psi
omega

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
2n casos a serem considerados, isto e, 2n linhas de uma tabela de verdade.
p
V
F

p
V
V
F
F

q
V
F
V
F

p q
V V
V V
V F
V F
F V
F V
F F
F F

r
V
F
V
F
V
F
V
F

Os valores logicos para as wff obtidas a partir dos conectivos estao determinados nas tabelas
verdade a seguir.

V
F

V V
V F
F V
F F

( )
V
F
F
F

F
V

( )
V
V
V
F

( )
V
F
V
V

( )
V
F
F
V

Observac
ao 1.1.2 Alem dos conectivos apresentados podemos incluir o smbolo de ou exclusivo com a tabela verdade abaixo.

V V
V F
F V
F F

( )
F
V
V
F

Exerccio 1.1.3 Faca tabela verdade para cada uma das wff.
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 Implicacoes e Equivalencias Logicas
Uma wff que e sempre verdadeira, isto e, todas as linhas de sua tabela verdade tem o valor
logico V, e denominada uma tautologia. Uma contradic
ao e uma wff sempre falsa. Ja
uma formula que assume tanto valores verdade quanto valores falso e uma conting
encia.
Existem duas maneiras de se relacionar formulas proposicionais. Uma wff implica
logicamente a wff , , quando a formula condicional ( ) e uma tautologia. A
wff e logicamente equivalente a wff , , quando a formula bicondicional ( )
e uma tautologia.
Considere V uma tautologia, F uma contradicao e , , , wff quaisquer.

1.2

Calculo Proposicional

Implicaco
es L
ogicas ou Regras de Infer
encia
F
V
Simplificacao

Adicao

Conjuncao
,
Modus Ponens
( )
Modus Tollens
( )
Silogismo Disjuntivo ( )
Silogismo Hipotetico ( ) ( )
Dilema Construtivo ( ) ( ) ( )
Dilema Destrutivo
( ) ( ) ( )

Idempotencia
Comutativa
Associativa
Elemento Neutro
Elemento Zero
Princpio da N
ao Contradic
ao
Princpio do Terceiro Excludo

Dupla Negacao
Distributiva
Absorcao
Semiabsorcao
De Morgan
Forma Disjuntiva do Condicional (Lei de Filo)

Regra de Clavius
Forma Conjuntiva do Bicondicional
Forma Conjuntiva do Ou Exclusivo

Fortalecimento da Hipotese
Reducao ao Absurdo

Equival
encias L
ogicas

( ) ( )
( ) ( )
V
FF
F



( ) ( )
( ) ( )
F
VV
V


( ) ( ) ( ) ( ) ( ) ( )
( )
( )
( )
( )
( )
( ) () ()
( ) () ()


( ) ( )
( ) ( )
( ) ( )
( ) F

Dada uma wff condicional ( ), diz-se que a wff ( ) e sua recproca, a wff
( ) e a contrapositiva e ( ) e a sua contraria. E se relacionam da seguinte
forma:
Contrapositiva

( ) ( )
( ) ( )

A lista (incompleta) de implicacoes e equivalencias logicas nos fornece um elenco de regras


de reescrita, denominadas regras de deduc
ao, que preservam o valor verdade das wff.
5

1.2

Calculo Proposicional

Exerccios 1.2.1
1. Faca tabela verdade para cada uma das wff bicondicionais associadas a`s equivalencias
logicas.
2. Verifique, 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. Simplifique as formulas.
(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)

( )

(( ) ( ))
( ) ( )

(1.5)
(1.6)
(1.7)
(1.8)

( )

(( ) ( ))
( ) ( )

(1.9)
(1.10)
(1.11)
(1.12)

Para o conjunto {, }, temos:

E, para {, }, temos:

Diz-se que uma wff esta na forma normal (FN) quando contem somente os conectivos ,
e . Toda wff e logicamente equivalente a um wff na forma normal.
Exemplo 1.2.2 A wff (( ) ( )) nao esta na forma normal. Observe que, e
possvel obter pelo menos tres formas normais equivalentes `a wff dada.
wf f (( ) ( )) (f dc)
F N (( ) ( )) (dm)
F N ( ) ( ) (dn)
FN
( ) ( )

1.2

Calculo Proposicional

Forma Normal Conjuntiva (FNC)


Uma wff esta na FNC quando:
1. Esta na forma normal.
2. Nao existem dupla negacoes.
Uma negacao nao tem alcance sobre uma conjuncao nem sobre uma disjuncao.
3. Uma disjuncao nao tem alcance sobre uma conjuncao.
Dada uma wfff qualquer e sempre possvel obter uma wff 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 Negacao e de De Morgan.
Fnc3. Usar a regra Distributiva ( ) ( ) ( ).
Forma Normal Disjuntiva (FND)
Analogamente, uma wff esta na FND quando: Uma wff esta na FNC quando:
1. Esta na forma normal.
2. Nao existem dupla negacoes.
Uma negacao nao tem alcance sobre uma conjuncao nem sobre uma disjuncao.
3. Uma conjuncao nao tem alcance sobre uma disjuncao.
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 Negacao e de De Morgan.
Fnd3. Usar a regra Distributiva ( ) ( ) ( ).

1.2

Calculo Proposicional

Exerccios 1.2.3
1. Reescreva as formulas do item 4 do Exerccio 1.2.1 usando:
(a) {, }
(b) {, }
(c) {, }
2. Determine a Forma Normal Conjuntiva das formulas.
(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 Demonstracoes: Direta, Condicional e Reducao ao Absurdo


Agora, estamos interessados em como chegar a conclusoes a partir de um conjunto de wff
dadas. Considere um conjunto de wff = {1 , . . . , n }, n 1, e uma wff . Denomina-se
argumento toda afirmacao de que o conjunto tem como consequencia ou acarreta a wff
, denotamos por . Diz-se tambem que se deduz, se infere ou decorre de . Assim,
e denominado conjunto de hip
oteses ou premissas do argumento e a wff e denominada
tese ou conclus
ao do argumento.
Um argumento e v
alido quando (1 n ) , isto e, quando a wff
(1 n ) e uma tautologia. Um argumento nao valido e um sofisma ou fal
acia.
Assim, a validade de um argumento pode ser feita mediante o uso de tabelas verdade,
como foi visto anteriormente. Uma abordagem mais eficiente para verificar a validade de um
argumento consiste em deduzir ou demonstrar a conclusao a partir do conjunto de premissas.
Uma deduc
ao ou demonstrac
ao direta da wff a partir do conjunto de wff e uma
sequencia finita de wff (1 , . . . , m ) tal que:
1. Para todo i = 1, . . . , m,
(a) i ou
(b) i foi obtida por aplicacao 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:
1
2
3
4
5

CP1
DN3
MP2,4

Outro metodo para demonstrar a validade de argumentos do tipo e a demonstrac


ao condicional, onde o enunciado e modificado para depois apresentarmos uma
demonstracao direta. Observe que, so e valido quando ( ) V, que,
pelo Fortalecimento da Hipotese, e equivalente a ( ) V. Assim, o argumento
dado e valido quando {} e valido.
Exemplo 1.2.5 Considere o argumento { ( ), } . Usando demonstrac
ao
condicional, rescrevemos o enunciado para { ( ), , } e apresentamos a demonstracao para o enunciado fortalecido.

10

1.2

Calculo Proposicional

1
2
3
4
5
6
7
8

( )

( )
( )

FDC1
AssocC4
SD2,5
DN3
SD6,7

Finalmente, temos o metodo da demostrac


ao por reduc
ao ao absurdo ou por contradic
ao, que tambem faz uma modificacao no enunciado dado antes de apresentar uma
demonstracao direta. O argumento so e valido quando V, que, pela Reducao
ao Absurdo, e equivalente a ( ) F V. Assim, o argumento dado e valido
quando {} F e valido.
Exemplo 1.2.6 Considere o argumento { , } ( ). Usando demonstrac
ao
por reducao ao absurdo, rescrevemos o enunciado para { , , ( )} F e
apresentamos a demonstracao para o enunciado modificado.
1
2
3
4
5
6
7
8
9
10

( )

DN3
Simpl4
MP1,5
Simpl4
MP2,7
Conj6,8
PNC9

Exerccios 1.2.7
1. Verifique a validade dos argumentos apresentando demonstracoes.
(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 demonstracao condicional para demonstrar a validade dos argumentos.
(a) { ( ), }
(b) {() , , () , () ( ())}
(c) { (), } ( )
3. Use reducao 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 colecoes de objetos distintos nao importando a
ordem em que aparecem. Estes objetos sao 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 relacao (binaria) existente entre elemento e conjunto, indicando
a pertinencia do primeiro em relacao 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 nao 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 nao possuir elementos.
Existem dois princpios importantes. O Princpio da Extensionalidade trata da igualdade 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 relacao de igualdade e:
Reflexiva: A = A, para todo conjunto A.
Sim
etrica: se A = B entao B = A, para quaisquer conjuntos A e B.
Transitiva: se A = B e B = C entao A = C, para quaisquer conjuntos A, B e C.
O Princpio da Especificac
ao diz respeito a` especificacao de novos conjuntos a partir de
outros. Dados um conjunto A e uma propriedade P sobre os elementos de A, fica 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 relacao (binaria) entre conjuntos e a de subconjunto. Um conjunto A e um subconjunto de um conjunto B ou A esta 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 relacao de
subconjunto e:
Reflexiva: A A, para todo conjunto A.
Antissim
etrica: se se A B e B A entao A = B, para quaisquer conjuntos A e B.
Transitiva: se A B e B C entao A C, para quaisquer conjuntos A, B e C.
Outra relacao existente entre conjuntos e a de subconjunto pr
oprio. Um conjunto A e
um subconjunto proprio de um conjunto B ou A esta propriamente contido em B quando
existe pelo menos um elemento no conjunto B que nao pertence ao conjunto A. A notacao
e A B e a relacao de subconjunto proprio e:
Antissim
etrica: se se A B e B A entao A = B, para quaisquer conjuntos A e B.
Transitiva: se A B e B C entao A C, para quaisquer conjuntos A, B e C.
Observac
ao 2.1.2 Podemos rever as definicoes 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 pot
encia de um conjunto A e o conjunto formado
por todos os subconjuntos de A. Este conjunto e denotado por 2A ou P (A). Assim, X 2A
se, e somente se, X A. Quando os elementos de um conjunto A sao eles mesmos conjuntos,
A e denominado uma famlia ou uma classe. Um conjunto pode ser classificado como
finito quando possui um n
umero finito de elementos, caso contrario e denominado infinito.
A cardinalidade de um conjunto finito A indica o n
umero de seus elementos, denota-se por
nico elemento, isto e, A = 1, e denominado
A, A ou card(A). Um conjunto A com um u
conjunto unit
ario. Um conjunto e denominado cont
avel ou enumer
avel se for finito 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 2A = {, {0}, {1}, {2}, {0, 1}, {0, 2}, {1, 2}, {0, 1, 2}}. Observe que, A = 3 e 2A = 8.
2. Os conjuntos numericos sao conjuntos infinitos.

N
Z
Q
I
R
C

N
umeros
naturais
inteiros
racionais
irracionais
reais
complexos

3. O conjunto A = {1, 2, 3, 4, 5, 6, 7, 8, 9} e finito enumeravel e N, Z e Q sao infinitos


enumeraveis, ja os conjuntos I, R e C sao infinitos nao enumeraveis.

2.2 Operacoes
As operacoes (binarias) classicas em conjuntos sao uniao, intersecao, diferenca, complemento
e produto cartesiano.
A uni
ao 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 intersec
ao de dois conjuntos A e B e o conjunto A B que contem todos os elementos
comuns aos conjuntos A e B. Dois conjuntos A e B sao denominados disjuntos quando sua
intersecao e o conjunto vazio, ou seja, A B = .
A diferenca entre dois conjuntos A e B e o conjunto A B 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 relacao
ao conjunto B e o conjunto B A dos elementos que pertencem ao conjunto B mas nao
pertencem ao conjunto A.
Todos os conjuntos podem ser considerados como subconjuntos de um certo conjunto
prefixado 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 A B cujos elementos sao
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 sao iguais
quando as primeiras ordenadas sao iguais e as segundas tambem. Quando temos um produto
cartesiano A A com n fatores usamos a notacao An .

15

2.2

Operac
oes

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.

P
A=B

A B

A B

U
A

CBA
A

A B

A - B

16

2.2

Operac
oes

Observac
ao 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 wff (x ) e falsa e a wff (x ) (x A) e
verdadeira. Logo, A.
Teorema 2.3.2 O conjunto vazio e u
nico.
Prova: (RAA) Vamos supor que existem dois conjuntos vazios . Pelo teorema
anterior, e . Entao, = . Contradicao. Logo, o conjunto vazio e u
nico.
Teorema 2.3.3 Seja A um conjunto finito com A = n, entao 2A = 2n = ni=0 (ni).
Teorema 2.3.4 Sejam A e B conjuntos finitos. 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
AB =BA e AB =BA
17

2.3

Teoremas

3. Elemento Neutro: para todo conjunto A


A=A=A e AU =U A=A
4. Elemento Zero: para todo conjunto A
AU =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
AA=A e AA=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
e A B = A B

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 sao 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 x2 = 4}
(b) B = {x Z; x + 9 = 9}
(c) C = {x Z; x 0 e x2 < 1}
(d) D = {x Z; x2 < 1}
5. Indique o conjunto potencia de A = {1, 2, 3, 4}.
6. De exemplos de famlias.
7. De exemplo de um conjunto infinito tal que exista funcao injetora entre este conjunto
e um de seus subconjuntos proprios.
8. Apresente conjuntos enumeraveis infinitos 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, justificando.
(a) Todo subconjunto de um conjunto enumeravel e finito ou enumeravel ?
(b) A uniao de conjuntos enumeraveis e enumeravel ?
(c) E o produto cartesiano?
11. Considere A = n e B = m. Para cada um dos itens, apresente condicoes para que seja
possvel estabelecer uma expressao matematica.
(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 Introducao `a Interpretacao de Formulas da
Logica de 1a 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 funcao n-ario, f, g, h, . . . .
Smbolos Quantificadores: 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
Gramatica
Uma expressao e qualquer sequencia finita de smbolos. Expressoes logicas sao os
termos e as formulas (wff).
Os termos sao os nomes da linguagem, sao as expressoes que podem ser interpretadas
como nomeando um objeto. Assim, podemos definir 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 funcao n-ario e t1 , . . . , tn termos
entao f (t1 , . . . , tn ) tambem e um termo.
Os formulas podem ser entendidas como declaracoes sobre os objetos. Uma f
ormula
at
omica e uma expressao definida por:
Fa1 Sejam t1 e t2 termos entao t1 = t2 e uma formula atomica.
Fa2 Se P e um smbolo de predicado n-ario e t1 , . . . , tn sao termos
entao P (t1 , . . . , tn ) e tambem uma formula atomica.
F
ormulas bem formadas, f
ormulas ou wffs sao as seguintes expressoes:
Wff1 Toda formula atomica e uma wff.
Wff2 Se e sao wffs e x e um smbolo de variavel
entao (), ( ), ( ), ( ), ( ), x e x tambem sao wffs.
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 wffs.
2. e um termo,
x = e x y sao formulas atomicas e
xyzt(t z (t = x t = y)) e wff.
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 wff.
22

3.1

Linguagem

3.1.2 Semantica
Vamos definir quando uma vari
avel x ocorre livre em (OLE) uma wff :
1. Se e uma formula atomica, x OLE quando x e um smbolo de .
2. Se e () entao x OLE quando x OLE .
3. Se e ( ), ( ), ( ) ou ( )
entao x OLE quando x OLE ou x OLE .
4. Se e y ou y
entao x OLE quando x OLE e x y.
Se um smbolo de variavel nao ocorre livre na wff , diz-se que a vari
avel est
a ligada ou
amarrada. Quando uma wff nao tem smbolos de variavel livres, a wff e denominada uma
sentenca. Devemos observar que os quantificadores tem a propriedade de ligar as variaveis
e e importante ressaltar a importancia da parentetizacao neste caso, pois eles definem o
escopo do quantificador.
Exemplo 3.1.3 Considere uma linguagem com dois smbolos de predicados unarios P e Q.
As wffs x(P (x) Q(x)) e (xP (x)) (y Q(y)) sao sentencas.
A variavel x OLE (xP (x)) Q(x).
Uma estrutura ou interpretac
ao A para uma dada linguagem de 1a ordem e uma funcao
que atribui:
1. Aos smbolos quantificadores um conjunto nao vazio A denominado o universo de A.
2. A cada smbolo de constante c um elemento cA do conjunto A.
3. A cada smbolo de predicado n-ario P uma relacao n-aria P A An .
4. A cada smbolo de funcao n-aria f uma funcao n-aria f A An A.
Assim, a estrutura A atribui significado aos smbolos da linguagem. Podemos agora
estabelecer quando uma wff e verdadeira na estrutura A.
Considere V o conjunto de variaveis e a funcao s V A que atribui a cada variavel
(livre) um elemento do conjunto A. Esta funcao s pode ser estendida ao conjunto de termos
T da linguagem. Assim, funcao s T A e tal que:
1. Para cada smbolo x de variavel, s(x) = s(x).
2. Para cada smbolo c de constante, s(c) = cA .
3. Se f e um smbolo de funcao n-aria e t1 , . . . , tn sao termos
entao s(f (t1 , . . . , tn )) = f A (
s(t1 ), . . . , s(tn )).
23

3.1

Linguagem

A estrutura A satisfaz a wff com s, A [s], quando a traducao de determinada


por A e por s e verdade, de forma mais precisa, temos que:
1. A t1 = t2 [s] quando s(t1 ) = s(t2 ).
2. A P (t1 , . . . , tn ) [s] quando (
s(t1 ), . . . , s(tn )) 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(xd)], sendo que s(xd) e exatamente a
funcao s exceto que a variavel x assume o valor d, isto e,
s(xd)(y) = {

s(y) se y x
d
se y = x

9. A x [s] quando existe d A, A [s(xd)].


Uma wff e e v
alida quando e verdadeira para todas as estruturas. Um conjunto de wffs
implica logicamente uma wff , , quando para toda estrutura A para a linguagem
e para toda funcao s V A, se A satisfaz cada elemento de com s entao A tambem
satisfaz com s.
Exemplo 3.1.4
1. Wffs validas:
P (x) (Q(x) P (x))
xP (x) P (c)
x(P (x) Q(x)) (xP (x) xQ(x))
2. Relacionando wffs:
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 especificacoes, escolha uma linguagem e apresente wffs.
(a) O conjunto e unitario.
(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 relacao de ordem.
(g) Um conjunto com uma relacao que descreve uma funcao.
(h) Um conjunto com uma funcao unaria injetiva.
(i) Um conjunto com uma funcao unaria sobrejetiva.
(j) Um conjunto com uma funcao unaria constante.
2. Considere uma linguagem com os seguintes smbolos: variaveis v1 , . . . , vn , uma constante c, uma funcao unaria f e um predicado binario P , e a estrutura A tal que A = N,
cA = 0, f A (x) = x + 1, P A e s V N e tal que s(vi ) = i 1. Interprete:
(a) f (f (v3 ))
(b) f (f (c))
(c) P (c, f (v1 ))
(d) v1 P (c, v1 )
(e) v1 P (v2 , v1 )
3. Para cada uma das wffs 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 condicoes 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 wffs 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 Demonstracoes em 1a Ordem


De forma analoga ao Calculo Proposicional, estamos interessados em como chegar a conclusoes a partir de um conjunto de wff de 1a Ordem dado, ou seja, estamos interessados em
demonstracoes na Logica de 1a Ordem.
Considere um conjunto de wff = {1 , . . . , n }, n 1, e uma wff , para um argumento
ser v
alido e necessario que exista uma demonstracao de a partir de , ou seja, seja
uma consequencia logica de baseada na estrutura das wff, ou ainda, a wff (1 n )
tem que ser valida em todas as interpretacoes.
Alem das equivalencias logicas e das regras de inferencia do Calculo Proposicional, temos
tambem as seguintes regras de deducao de 1a Ordem:
1. Eliminacao do quantificador universal ou particularizacao universal (PU)
x [xt] com t um termo qualquer da linguagem sendo que se o termo t for uma
variavel, ela deve OLE .
x
[xt]

PU

Ideia: Se a wff x e verdadeira entao pode-se substituir o smbolo de variavel x por


qualquer termo t que a wff [xt] e tambem verdadeira.
Cuidado: Considere uma linguagem L = {P2 } e a wff xyP (x, y).
Se aplicarmos a regra PU, obtemos:
xyP (x, y) [xy] yP (y, y).
A estrutura [Z, <] yP (y, y) ja que a wff y Z y < y nao e verdadeira.
Exemplo: {x(P (x) Q(x)), Q(y)} P (y)
1
2
3
4

x(P (x) Q(x))


Q(y)
P (y) Q(y)
PU1
P (y)
MT2,3

2. Eliminacao do quantificador existencial ou particularizacao existencial (PE)


x [xt] onde t e um termo nao utilizado anteriormente na demonstracao.
x
[xt] PE

27

Demonstracoes em 1a Ordem

3.2

Ideia: Se a wff 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
2
3
4
4

x(P (x) Q(x))


yP (y)
P (a)
PE2
P (a) Q(a)
PU1
Q(a)
MP3,4

3. Generalizacao Universal (GU): x

GU

Ideia: Se garantirmos que wff e verdadeira e que o smbolo de variavel x pode ser
qualquer elemento do conjunto A, entao podemos inserir um quantificador universal.
Cuidado: Se supormos que x e um certo elemento de A tal que e verdadeira entao
nao podemos fazer a generallizacao.
Exemplo: {x(P (x) Q(x)), xP (x)} xQ(x)
1
2
3
4
5
6

x(P (x) Q(x))


xP (x)
P (x) Q(x)
P (x)
Q(x)
xQ(x)

PU1
PU2
MP3,4
GU5

4. Generalizacao Existencial (GE): x

GU

Ideia: Se alguma coisa foi nomeada garantindo que a wff seja verdadeira, entao
podemos inserir um quantificador existencial.
Cuidado: A variavel x nao pode aparecer em . Por exemplo, a partir da wff P (a, y)
nao e possvel deduzir yP (y, y), pois o argumento P (a, y) yP (y, y) nao e valido
em qualquer estrutura. A estrutura [Z, 0, <] 0 < y mas [Z, 0, <] y y < y.
Exemplo: {xP (x)} xP (x)
28

Demonstracoes em 1a Ordem

3.2

1 xP (x)
2 P (x)
PU1
3 xP (x) GE2

29

Captulo 4

Algebra
de Boole
4.1 Definicao
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 sao operacoes binarias em B e

e uma operacao unaria em B.

com as seguintes propriedades das operacoes, para quaisquer, x, y, z B,


B1
B2
B3
B4
B5

Associativa:
Comutativa:
Elemento Neutro:
Complemento:
Distributiva:

(x + y) + z = x + (y + z)
(x y) z = x (y z)
x+y =y+x
xy =yx
x+0=x
x1=x

x+x =1
x x = 0
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
0
1

x
1
0

2. [2A , , ,] com A = {a, b}, 0 = , 1 = {a, b} e as operacoes:

{a}
{b}
{a, b}

{a}

{a}
{a}
{a}
{b} {a, b}
{a, b} {a, b}

{b}
{b}
{a, b}
{b}
{a, b}

{a, b}
{a, b}
{a, b}
{a, b}
{a, b}
30

{a}
{b}
{a, b}

{a} {b}

{a}
{b}
{a} {b}

{a, b}

{a}
{b}
{a, b}

4.1

Definicao

{a}
{b}
{a, b}

x
{a, b}
{b}
{a}

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
1
6

10
1
2
1
5
2
10
5
10

15
1
1
3
5
3
1
15
15

30
1
2
3
5
6
10
15
30

x
1
2
3
5
6
10
15
30

4.2 Propriedades
A partir dos axiomas da algebra de Boole e possvel demonstrar que:
1. Idempotencia: x + x = x
x + x = (x + x) 1 = (x + x) (x + x ) = x + (x x ) = x + 0 = x

B3

B4

B5

B4

B3

2. Elemento Zero ou Absorvente x + 1 = 1


x + 1 = x + (x + x ) = (x + x) + x = x + x = 1

B4

B1

B4

Idemp.

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

B3

B4

B5

B4

hip.

B5

hip.

Contradicao. Logo, o complemento e u


nico.
4. Semiabsorcao: x + (x y) = x + y
x + (x y) = (x + x ) (x + y) = 1 (x + y) = x + y

B5

B4

B3

5. x (y + (x z)) = (x y) + (x z)
x (y + (x z)) = (x y) + (x (x z)) = (x y) + (x x z) = (x y) + (x z)

B5

B1

Idemp.

31

B3

x
30
15
10
6
5
3
2
1

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 y 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 y ) + (x z ) 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 nao vazio A
e uma relacao binaria em A reflexiva, antissimetrica e transitiva, isto e, para quaisquer
x, y, z A,
Reflexiva: Se x y e y x entao x = y.
Antissimetrica: Se x y e y x entao x = y.
Transitiva: Se x y e y z entao 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 entao s z.
O nfimo 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 entao z i.
Notacao: s = x y = x + y e i = x y = x y
Um reticulado e um conjunto parcialmente ordenado no qual existe supremo e nfimo
para quaisquer dois elementos. Assim, supremo e nfimo podem ser entendidos como operacoes
binarias 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, justificando.

34

4.3

Reticulados

4.4 Expressoes, Formas e Funcoes


Uma express
ao booleana e:
b1. Qualquer smbolo de variavel.
b2. Se e sao expressoes boolenas entao + , e tambem sao.
Um literal e uma expressao do tipo variavel ou variavel complementada. Um produto
fundamental e ou um literal ou um produto de literais em que nao apareca um smbolo de
variavel repetido. Uma expressao booleana e uma expressao em soma de produtos ou esta
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.

x
x
xy z
xy z + x yz
(x + y) z
xyx

expressao

literal

produto fundamental

FN

Uma func
ao booleana e uma funcao f {0, 1}n {0, 1} para algum n 1.
As possveis representacoes de uma funcao booleana sao por uma tabela ou por um Mapa
de Karnaugh (Maurice Karnaugh 1924-). O mapa de Karnaugh e uma representacao
matricial que armazena somente os valores 1 da funcao de modo que o produto de variaveis
de entrada que diferem apenas por um fator sejam adjacentes.
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.
x1
1
1
0
0

x2
1
0
1
0

f (x1 , x2 )
0
1
1
0

x2
x2

x1
0
1

x1
1
0

2. Seja a funcao 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.

35

4.4

Expressoes, Formas e Func


oes

x1
1
1
1
1
0
0
0
0

x2
1
1
0
0
1
1
0
0

x3
1
0
1
0
1
0
1
0

f (x1 , x2 , x3 )
1
1
0
0
1
0
1
0

x3
x3

x1 x2
1
1

x1 x2

x1 x2
1

x1 x2
1

Podemos associar a cada funcao booleana uma expressao. No exemplo anterior item 1, a`s
linhas 2 e 3 ficam associados os produtos fundamentais x1 x2 e x1 x2 , respectivamente. Assim,
a funcao fica associada a` expressao booleana na forma normal
f (x1 , x2 ) = x1 x2 + x1 x2 .
No item 2, `as linhas 1, 2, 5 e 7 ficam associados os produtos fundamentais x1 x2 x3 , x1 x2 x3 ,
x1 x2 x3 e x1 x2 x3 , respectivamente. Entao, a funcao fica associada a` expressao booleana na
forma normal
f (x1 , x2 , x3 ) = x1 x2 x3 + x1 x2 x3 + x1 x2 x3 + x1 x2 x3 .
Para funcoes com um n
umero maior de variaveis, o mapa e a representacao mais sintetica.
Considere o mapa a seguir.
x1 x2
x3 x 4
x3 x4
x3 x4
x3 x4

x1 x2
1

x1 x2

x1 x2

1
1

A funcao associada e:
f (x1 , x2 , x3 , x4 ) = x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 .

36

4.4

Expressoes, Formas e Func


oes

4.5 Circuitos Logicos


Caractersticas gerais:
Descargas eletricas alta e baixa, 1 e 0, respectivamente.
Flutuacoes de voltagem sao ignoradas.
O sinal 1 faz com que o interruptores feche e o 0 abra.

x=1

x=0

Combinacao de interruptores x e y em paralelo.

x1 = 1
1

x2 = 0

Esta combinacao pode ser associada a` operacao boolena x + y e `a porta logica OU.

x1
1
1
0
0

x2
1
0
1
0

x1 + x2
1
1
1
0

x1
x2

37

x1+x2

4.5

Circuitos Logicos

Combinacao de interruptores x e y em serie.

x1 = 1

x2 = 0

Esta combinacao pode ser associada a` operacao boolena x y e `a porta logica E.

x1
1
1
0
0

x2
1
0
1
0

x1 . x2
1
0
0
0

x1

x1.x2

x2

Um inversor (negacao) corresponde a` operacao unaria booleana .





x1
1
0

x'1
0
1

x1

x'1

Observe que, circuitos podem ser associados a funcoes booleanas, isto e, a expressoes
booleanas.

38

4.5

Circuitos Logicos

Exemplo 4.5.1 Ao circuito








a express
fica associada
ao booleana

x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 .



4.6 Minimiza
cao

Considere a expressao do Exemplo 4.5.1



x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4

e a manipulaca o algebrica:
1
2
3
4
5

x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 = B2
x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 = B5
x1 x2 x4 (x3 + x3 ) + (x1 + x1 )x2 x3 x4 =
B4


x1 x2 x4 1 + 1 x2 x3 x4 =
B3
x1 x2 x4 + x2 x3 x4

Cada uma das linhas desta manipulacao e uma expressao booleana associada a` mesma
funcao booleana. Tanto 1 quanto 5 estao na forma normal, e 5 e a forma simplificada
ou mnima de 1 .
Vamos tratar agora de minimizacao 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 expressao.
x1 x2
x3 x 4
x3 x4
x3 x4
x3 x4

x1 x2
1

x1 x2

x1 x2

1
1
39

4.6

Minimizacao

Observe que, tomar celuas adjacentes corresponde a` simplicacao 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.
x1
x2
x4
x2
x3
x4

Exemplo 4.6.1 Considere o mapa de Karnaugh com oito produtos fundamentais.



x1 x2
x3 x 4
x3 x4
x3 x4
x3 x4

x1 x2
1

x1 x2
1
1
1
1

x1 x2
1
1

Dois possveis
agrupamentos de uns.


x3 x4
x3 x 4
x3 x 4
x3 x4

x1 x2

x1 x2
1
1

x1 x2
1
1
1
1

x1 x2

x1 x2
x3 x4
x3 x4
x3 x4
x3 x4

1
1

x1 x2
1
1

x1 x2
1
1
1
1

x1 x2
1
1

Com cinco e quatro produtos, respectivamente.


x1 x2 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4
e
x2 x3 x4 + x1 x3 x4 + x2 x3 x4 + x1 x3 x4 .
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 u
nico modo formando
blocos de tamanho 2, se possvel.
3. Combine as celulas adjacentes que so podem ser agrupadas de um u
nico modo formando
blocos de tamanho 4, se possvel.
40

4.6

Minimizacao

4. Combine as celulas adjacentes que so podem ser agrupadas de um u


nico modo formando
blocos de tamanho 8, se possvel.
5. Combine as celulas adjacentes restantes contendo 1 em blocos de maneira mais eficiente
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

41

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

Captulo 5
Gabarito
5.1 1a Ordem
1. (a) O conjunto e unitario.
L = {c} e x x = c
(e) Um conjunto com uma relacao de equivalencia.
L = {P2 } 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 funcao unaria sobrejetiva.
L = {f1 } e yxf (x) = y
2. (a) f (f (v3 ))
s(f (f (v3 ))) = f A (f A (
s(v3 ))) = f A (f A (s(v3 ))) = f A (f A (2))) = f A (2 + 1) = 4
(e) v1 P (v2 , v1 )
A v1 P (v2 , v1 ) [s] quando
quando
quando
quando
quando

para
para
para
para
para

todo
todo
todo
todo
todo

d N,
d N,
d N,
d N,
d N,

A P (v2 , v1 ) [s(v1 d)]


(
s(v1 d)(v2 ), s(v1 d)(v1 )) P A
(s(v1 d)(v2 ), s(v1 d)(v1 )) P A
(1, d) P A
1d

3. (a) x((P (x) Q(x)) (P (x) Q(x))) x(P (x) Q(x))


Assim, a formula e satisfeita quando P A QA = A e P A QA = . Por exemplo,
A = {2, 3, 4, 8, 9} com P A m
ultiplo de 2 e QA m
ultiplo de 3.
Ja para A = N com P A m
ultiplo de 2 e QA m
ultiplo de 3, a wff nao e satisfeita.
(e) (xP (x) xQ(x)) x(P (x) Q(x))
42

1a Ordem

5.1

(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 wff e satisfeita quando:
(P A = A e QA A) ou P A QA
E nao e satisfeita quando, por exemplo, QA 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 = QA
x(P (x) Q(x)): P A QA
x(P (x) Q(x)) x(P (x) Q(x)): P A QA = A e P A QA =
(l) x(P (x) Q(x)): P A QA e P A QA
x(P (x) Q(x)) x(P (x) Q(x)) x(P (x) Q(x)):
P A QA = A e P A QA =
x(P (x) Q(x)) x(P (x) Q(x)): P A QA
5. (a)

(f)

xP (x)
PA = A

xP (x)
PA

x(P (x) Q(x))


P A = QA

(xP (x)) (xQ(x))


P A = A sse QA = 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 y ) + (x z )
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
43


Algebra
de Boole

5.2

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 nao e um reticulado. O


quarto, setimo e oitavo nao sao complementados. O terceiro nao e distributivo. Assim, o
primeiro, segundo e o sexto sao algebras de Boole.

5.4 Minimizacao
1

1
1

x3

x1 x2 x3 + x1 x2 + x2 x3
1

1
1

1
1

x2 x3 x4 + x2 x4 + x2 x3 x4 ou . . .
1

1
1

1
1
1
1

1
1

1
1

x1 x2 x3 + x2 x3 x4 + x1 x2 x4 ou . . .

x1 x2 + x2 x4 + x1 x3 x4 + x1 x3 x4

44