Programa de Pos Graduacao em

Engenharia de Automacao e Sistemas

Fundamentos de Matem
atica Discreta
para Controle e Automa
c
ao

Profs. Jose Eduardo Ribeiro Cury, Jomi Fred Hubner e

Max Hering de Queiroz

Departamento de Automacao e Sistemas

Universidade Federal de Santa Catarina
88040-900 - Florianopolis - SC - Brazil
E-mail: cury@das.ufsc.br

Organiza
c
ao

1. Relacoes
Propriedades de Relacoes
Relacoes de Equivalencia
Ordem Parcial
Reticulados

2. Logica
Logica Proposicional
Metodos de Prova de Teoremas
Logica de Predicados
Outras Logicas

3. Linguagens e Automatos
Linguagens: Definicoes, Linguagens Regulares
Automatos de Estados Finitos

Rela
c
oes
Definic
ao 1 (Relac
ao Bin
aria) Sejam A e B conjuntos.
Uma relacao binaria de A para B e um subconjunto de
A B.
Usa-se a notacao aRb para indicar que (a, b) R e diz-se
que a esta relacionado com b por R.
Exemplo 1 Seja A o conjunto de alunos da PGEEL e B o
conjunto de disciplinas. Pode-se definir R como a relacao
que consiste dos pares (a, b) onde a e um aluno matriculado
na disciplina b.

Exemplo 2 Seja A o conjunto das cidades brasileiras e B

o conjunto de estados do Brasil. Pode-se definir R como a
relacao que consiste dos pares (a, b) onde a e uma cidade do
estado b. Assim, por exemplo (Floripa,SC) R, (Braslia,DF)
R, porem (Cuiaba,SP) 6 R.
Exemplo 3 Sejam A = {0, 1, 2} e B = {a, b}. Entao
R = {(0, a), (0, b), (1, a), (2, b)} e uma relacao de A para B.
Assim, por exemplo (0, a) R, ou 0Ra, porem (1, b) 6 R.

Rela
c
oes

Relacoes de um conjunto sobre si mesmo sao de especial

interesse.

Definic
ao 2 (Relac
ao sobre um conjunto) Uma relacao
sobre o conjunto A e uma relacao de A para A.

Exerccio 1 Seja A = {1, 2, 3, 4}. Que pares ordenados

estao na relacao R = {(a, b) : a divide b} ?

Exerccio 2 Quantas relacoes existem em um conjunto de

n elementos ?

Propriedades de Rela
co
es

Definic
ao 3 (Reflexividade) Uma relacao R sobre um conjunto A e reflexiva se (a, a) R para todo a A.

Exerccio 3 A relacao divide, definida sobre o conjunto

dos inteiros positivos e reflexiva ?

Exerccio 4 Quais das seguintes relacoes definidas sobre os

inteiros sao reflexivas ?
R1 = {(a, b) : a b}
R2 = {(a, b) : a > b}
R3 = {(a, b) : a = b ou a = b}
R4 = {(a, b) : a = b}
R5 = {(a, b) : a = b + 1}
R6 = {(a, b) : a + b 3}

Propriedades de Rela
co
es (cont):
Definic
ao 4 (Simetria) Uma relacao R sobre um conjunto A e simetrica se (b, a) R sempre que (a, b) R
para a, b A.

Definic
ao 5 (Anti-Simetria) Uma relacao R sobre um
conjunto A onde (a, b) R e (b, a) R somente se a = b
e dita ser anti-simetrica.
Observacao: Simetria e antisimetria nao sao termos opostos, ja que uma relacao pode ter ambas as propriedades ou
falhar em ambas (Exerccio).
Por outro lado uma relacao nao pode ter as duas propriedades
se contiver algum par (a, b) tal que a 6= b.
Exerccio 5 Quais das relacoes do exerccio 4 sao simetricas
e quais sao anti-simetricas ?

Exerccio 6 A relacao divide, definida sobre o conjunto

dos inteiros positivos e simetrica? e antisimetrica?

Propriedades de Rela
co
es (cont):

Definic
ao 6 (Transitividade) Uma relacao R sobre um
conjunto A e dita ser transitiva se (a, b) R e (b, c) R
implique em (a, c) R para a, b, c A.

Exerccio 7 Quais das relacoes do exerccio 4 sao transitivas ?

Exerccio 8 A relacao divide, definida sobre o conjunto

dos inteiros positivos e transitiva?

Composi
c
ao de Rela
co
es
Definic
ao 7 (Composic
ao) Seja R uma relacao de um
conjunto A para um conjunto B e S uma relacao de B para
um conjunto C. Define-se a composicao de R e S, S R,
como a relacao de A para C formada pelos pares (a, c),
onde a A, c C, e para os quais existe b B tal que
(a, b) R e (b, c) S.
Exerccio 9 Sejam R uma relacao de {1, 2, 3} para {1, 2, 3, 4}
definida por R = {(1, 1), (1, 4), (2, 3), (3, 1), (3, 4)}, e S
uma relacao de {1, 2, 3, 4} para {0, 1, 2} definida por S =
{(1, 0), (2, 0), (3, 1), (3, 2), (4, 1)}. Obtenha a composicao
S R.
Definic
ao 8 (Pot
encia de uma Relac
ao) Seja R uma
relacao o sobre conjunto A. Define-se as potencias Rn, n =
1, 2, 3, ..., recursivamente como
R1 = R e Rn+1 = Rn R
Exerccio 10 Calcule as potencias de
R = {(1, 1), (2, 1), (3, 2), (4, 3)}
.
Exerccio 11 Prove que Rn R para uma relacao transitiva R definida sobre A.

Rela
c
oes de Equival
encia

Definic
ao 9 (Relac
ao de Equival
encia) Uma relacao R
sobre o conjunto A e uma relacao de equivalencia se e reflexiva, simetrica e transitiva.

Exerccio 12 Quais das seguintes relacoes sao relacoes de

equivalencia ?
Relacao R sobre o conjunto de palavras do Portugues,
tais que (a, b) R se |a| = |b| onde |x| e o comprimento
de x;
Relacoes do exerccio 4;
Relacao R sobre o conjunto dos numeros reais, tais que
(a, b) R se a b e um inteiro;
Relacao R = {(a, b) : a b(mod m)} (Congruencia
modulo m, ou, m divide a b) sobre o conjunto dos
numeros inteiros.

Classes de Equival
encia
Relacoes de equivalencia dividem conjuntos em classes distintas de elementos relacionados entre s.

Definic
ao 10 (Classe de Equival
encia) Considere uma
relacao de equivalencia R sobre um conjunto A. O conjunto
de todos os elementos relacionados a um elemento a A e
dito ser a classe de equivalencia de a, denotada por [a]R, ou
simplesmente [a].
Em outras palavras [a]R = {s : (a, s) R}.
Se b [a]R, entao b e dito ser um elemento representativo
desta classe de equivalencia.

Exerccio 13 Quais as classes de equivalencia:

[0]R e [0, 5]R na relacao R sobre o conjunto dos numeros
reais, tais que (a, b) R se a b e um inteiro ?;
[0]R e [1]R na relacao R = {(a, b) : a b(mod 4)}
(Congruencia modulo 4) sobre o conjunto dos numeros
inteiros ?

Classes de Equival
encia e Parti
co
es
Teorema 1 Considere uma relacao de equivalencia R sobre
um conjunto A. As seguintes afirmacoes sao equivalentes:
1. (a, b) R;
2. [a] = [b];
3. [a] [b] 6= .
Exerccio 14 Prove o teorema.
Teorema 2 As classes de equivalencia de uma relacao R
sobre um conjunto A, formam uma Particao do conjunto A.
Exerccio 15 Prove o teorema.
Teorema 3 Dada uma particao {Ai|i I} do conjunto A,
existe uma relacao de equivalencia R que tem como classes
de equivalencia os conjuntos Ai, i I.
Exerccio 16 Prove o teorema.
Exerccio 17 Quais sao os elementos da Particao induzida
pela relacao Congruencia modulo 4?

Ordens Parciais
Definic
ao 11 (Ordem Parcial) Uma uma relacao R sobre um conjunto A e uma ordem parcial se ela e reflexiva,
transitiva e anti-simetrica.

Definic
ao 12 (Poset) Se R e uma ordem parcial sobre A,
entao o par (A, R) e um conjunto parcialmente ordenado,
ou poset.

Exerccio 18 Mostre que:

a relacao maior ou igual, , e uma ordem parcial no
conjunto dos inteiros;
a relacao divide, |, e uma ordem parcial no conjunto
dos inteiros;
a relacao subconjunto, , e uma ordem parcial no
conjunto das partes de um conjunto S.
(2S = {subconjuntos de S})
Notacao: num poset(A, R) a notacao a  b indica que
(a, b) R.

Ordens Parciais (cont.)

Observacao: num poset, se a, b (A, ) nao e necessario
que a  b ou b  a
Definic
ao 13 Os elementos a, b de um poset(A, R) sao
ditos comparaveis se a  b ou b  a. Caso contrario a e b
sao ditos serem incomparaveis.

Exerccio 19 No poset(Z +, |) os elementos 3 e 9 sao

comparaveis? e os elementos 5 e 7?

Definic
ao 14 Se num poset(A, R) quaisquer dois elementos sao comparaveis, entao A e dito ser um conjunto
totalmente ordenadoou cadeia, e  e uma ordem total.

Exemplo 4 O poset(Z, ) e totalmente ordenado pois

a b ou b a, a, b Z. E o poset(Z +, |)?

Diagramas Hasse
Definic
ao 15 (Diagrama Hasse) Um Diagrama Hasse de
um poset(A, ) e um grafo direcionado (o sentido e assumido ser sempre de baixo para cima) onde os nos correspondem a elementos a A e os arcos correspondem a pares
(a, b) , isto e a  b. Arcos sao desenhados somente para
a, b vizinhos.
Exemplo 5 Sejam X = {, , } e A = 2X . A figura 1.a
mostra o Diagrama Hasse do poset(A, ).
>

> = {, , }

{, }

{}

{, }

{, }

{}

{}

(a)

(b)
Figura 1: Diagramas Hasse - exemplos

Exemplo 6 Como outro exemplo considere

A = {>, x, y, a, b, }
A figura 1.b mostra o Diagrama Hasse do posetassociado
a uma relacao de ordem parcial R definida sobre A.
Exerccio 20 Obtenha a Relacao de Ordem Parcial R que
tenha como Diagrama Hasse o grafo da figura 1.b.

Elementos M
aximos e Mnimos
Definic
ao 16 Um elemento a, de um poset(S, R) e maximo
no posetse nao existe b S tal que a b.
De forma similar, a e mnimo no posetse nao existe b S
tal que b a.
Exerccio 21 Que elementos do poset
({2, 4, 5, 10, 12, 20, 25}, |)
sao maximos, e que elementos sao mnimos ?
Definic
ao 17 Um elemento a, de um poset(S, R) e o
Limite Maximo (LM ) do posetse b  a para todo b S.
De forma similar, a e o limite mnimo (lm) no posetse
a  b para todo b S.
Exerccio 22 Para um conjunto X, determine se existem
LM e lm no poset(2X , ).
Exerccio 23 Existem LM e lm no poset(Z +, |)?
Exerccio 24 Prove que se existe LM num poset(S, R),
entao ele e unico. Idem para lm.

Fronteiras Superiores e Inferiores

Definic
ao 18 Dado um poset(S, R) e um subconjunto
A S um elemento s S e uma Fronteira Superior (F S)
de A se a  s, para todo a A.
De forma similar, i S e uma fronteira inferior (f i) de A
se i  a, para todo a A.
Exerccio 25 Encontre as fronteiras superiores e inferiores
dos subconjuntos {2, 4, 10}, {5, 10, 25}, e {2, 5, 10}, no
poset
({2, 4, 5, 10, 12, 20, 25}, |).

Exerccio 26 Encontre as fronteiras superiores e inferiores

dos subconjuntos
{{}, {}, {, }}, {, {}, {}},
no posetcorrespondente ao Diagrama Hasse da figura 1.a.
Exerccio 27 Encontre as fronteiras superiores e inferiores
dos subconjuntos
{, a}, {a, b}, {a, b, y},
no posetcorrespondente ao Diagrama Hasse da figura 1.b.

Fronteira Superior mnima e

fronteira inferior M
axima
Definic
ao 19 Dado um poset(S, R) e um subconjunto
A S um elemento x S e a Fronteira Superior mnima
(F Sm) de A se a  x, para todo a A, e x  s para
todo s que seja F S de A.
De forma similar, y S e a fronteira inferior Maxima (f iM )
de A se y  a, para todo a A, e z  y para todo z que
seja f i de A.
Exerccio 28 Encontre, se existirem, as F Sm e f iM dos
subconjuntos {2, 4, 10}, {5, 10, 25}, {2, 5, 10}, no poset
({2, 4, 5, 10, 12, 20, 25}, |).
Exerccio 29 Encontre, se existirem, as F Sm e f iM dos
subconjuntos
{{}, {}, {, }}, {, {}, {}}, e A
no posetcorrespondente ao Diagrama Hasse da figura 1.a.
Exerccio 30 Encontre, se existirem, as F Sm e f iM dos
subconjuntos
{, a}, {a, b}, {a, b, y},
no posetcorrespondente ao Diagrama Hasse da figura 1.b.
Exerccio 31 Prove que se F Sm existe num poset(S, R),
entao ela e unica. Idem para f iM .

Reticulados (Lattices)
Definic
ao 20 Um reticulado e um poset(S, R) tal que,
para todo subconjunto A = {s1, s2}, s1, s2 S, F Sm e
f iM de A existem. Nesse caso se usa a notacao s1 s2 e
s1 s2, respectivamente para F Sm e f iM de A.
Exerccio 32 Indique quais dos seguintes posetssao reticulados:
1. ({2, 4, 5, 10, 12, 20, 25}, |);
2. posetcorrespondente ao Diagrama Hasse da figura 1.a;
3. posetcorrespondente ao Diagrama Hasse da figura 1.b.
Proposic
ao 1 Em um reticulado (S, R), sempre que A
S for finito, entao existem F Sm e f iM de A.
No caso geral, para conjuntos infinitos o resultado acima nao
e verdadeiro.
Definic
ao 21 Um reticulado (S, R) tal que F Sm e f iM
existem para todo subconjunto A S (nao necessariamente
finito) e dito ser um reticulado completo.
Exerccio 33 Para um conjunto X qualquer, prove que o
poset(2X , ) e um exemplo de reticulado completo.