Captulo 1

Introducao `a Matematica Discreta e

Logica Formal
Edmilson Marmo Moreira
Universidade Federal de Itajub
a - UNIFEI
Instituto de Engenharia de Sistemas e Tecnologias da Informac
ao - IESTI

A maravilhosa disposic
ao e harmonia do universo so pode ter tido origem segundo
o plano de um Ser que tudo sabe e tudo pode. Isto fica sendo a minha u
ltima e
mais elevada descoberta.
Isaac Newton

Considerac
oes Iniciais

A disciplina de MAT-014 tem por objetivo apresentar os principais conceitos da Matematica Discreta. Praticamente qualquer estudo em Computacao e Informatica, teorico
ou aplicado, exige como pre-requisito conhecimentos de diversos topicos de matematica.
Tal fato e normalmente explicitado na maioria dos livros de Computacao e Informatica,
sendo que alguns possuem um captulo especfico no qual tais topicos sao brevemente ou
resumidamente introduzidos (MENEZES, 2005).
As Diretrizes Curriculares do MEC para cursos de Computacao e Informatica afirma
que: A matematica, para a area da computacao, deve ser vista como uma ferramenta
a ser usada na definicao formal de conceitos computacionais (linguagens, automatos,
metodos etc). Os modelos formais permitem definir suas propriedades e dimensionar suas
instancias, dadas suas condicoes de contorno (MEC, 2005).
Neste contexto, o aluno, acompanhando satisfatoriamente o conte
udo desta disciplina,
ira:
1. Desenvolver a sua capacidade de ler, compreender e construir argumentos matematicos;
2. Obter uma visao abrangente de uma parte significativa da Computacao e Informatica;
3. Estudar como trabalhar com estruturas discretas, que sao estruturas matematicas
abstratas, usadas para representar objetos discretos e o relacionamento entre estes
1

Matematica Discreta - Notas de Aula - Captulo 01 - 2

objetos. Estas estruturas incluem conjuntos, permutacoes, relacoes, grafos, arvores
e maquinas de estado finito.
4. Aplicar os conceitos basicos da Matematica Discreta como uma ferramenta matematica para investigacoes e aplicacoes precisas em Computacao e Informatica;
5. Abordar problemas aplicados e enfrentar com naturalidade novas tecnologias.

O que
e Matem
atica Discreta?

A matem
atica discreta e a parte da matematica devotada ao estudo dos objetos
discretos. O sentido da palavra discreta esta relacionado `a elementos distintos nao conectados (ROSEN, 2003).
Os tipos de problemas que sao resolvidos usando a matematica discreta incluem:
Quantas formas existem para escolher uma password em um sistema computacional?
Qual a probabilidade de se ganhar na loteria?
Existe um link entre dois computadores numa rede?
Qual e o menor caminho entre duas cidades usando um determinado sistema de
transporte?
Como pode ser classificado uma lista de n
umeros inteiros em ordem crescente?
Quantos passos sao necessarios para fazer esta ordenacao?
Como pode ser provado que um algoritmo de ordenacao faz seu trabalho corretamente?
Como pode ser projetado um circuito que adiciona dois inteiros?
Quantos enderecos validos existem na Internet?
A matematica discreta possui tecnicas necessarias para resolver estes tipos de problemas.
De forma geral, a matematica discreta e usada sempre que objetos sao contados,
quando relacionamentos entre conjuntos sao estudados e quando processos envolvendo
um n
umero finito de passos sao analisados. A principal razao para o crescimento da
importancia da matematica discreta e que as informacoes sao armazenadas e manipuladas
em computadores em uma forma discreta (ROSEN, 2003).
Este captulo apresenta algumas das nocoes fundamentais de logica simbolica. Os
princpios da logica muitas vezes sao u
teis para o entendimento do significado preciso dos

Matematica Discreta - Notas de Aula - Captulo 01 - 3

enunciados e tambem ajudam no desenvolvimento de importantes metodos de raciocnio.
Embora a logica simbolica nao seja usada explicitamente nos captulos subseq
uentes, o seu
estudo da o embasamento necessario para compreender as pedras angulares da matematica
que sao: as definicoes, os teoremas e as provas. As definicoes especificam com precisao
os conceitos do foco de interesse, os teoremas afirmam exatamente o que e verdadeiro
sobre esses conceitos, e as provas demonstram, de maneira irrefutavel, a verdade dessas
assercoes.

Algebra
de Proposi
c
oes

Definic
ao 3.1 (Proposic
ao) Proposicao e uma Sentenca que pode ser significativamente
classificada como verdadeira ou falsa.

Exemplos:
1. Duzentos e igual a cinq
uenta.
2. Existem formas de vida em outros planetas do universo.
3. A Terra e redonda.
A validade ou falsidade de uma proposicao e chamada de seu valor verdade.
Algumas proposicoes sao compostas, isto e, compoem-se de subproposicoes e varios
conectivos.
Exemplos:
1. As rosas sao vermelhas e as violetas sao azuis.
2. Carlos esta doente ou velho.
3. Hoje ira chover ou nao ira chover.
Uma propriedade fundamental de uma proposicao composta e que seu valor verdadeiro
e completamente determinado pelo valor verdade de cada uma das subproposicoes e pelo
modo pelo qual estao ligadas para formar uma proposicao completa.
As proposicoes serao designadas por letras min
usculas, com ou sem ndices inferiores.

Matematica Discreta - Notas de Aula - Captulo 01 - 4

3.1

Conjun
c
ao

Duas proposicoes quaisquer podem ser combinadas pela palavra e para formar uma
proposicao composta, chamada de conjuncao das proposicoes originais.
Definic
ao 3.2 (Conjunc
ao) Sejam p e q proposicoes. Entao, a proposicao composta p
e q chama-se conjuncao de p e q. Usa-se o smbolo p q para representar a conjunc
ao
p e q, que sao os fatores da express
ao. O valor verdade de p q sera verdadeiro se
ambos fatores forem verdade; caso contrario, o valor verdade de p q sera falso.

Exemplo:
1. Seja p Esta chovendo e seja q O Sol esta brilhando. Assim, p q corresponde `a
proposicao Esta chovendo e o Sol esta brilhando.
Um meio conveniente de estabelecer o valor verdade de uma proposicao composta e
atraves de um representacao esquematica denominada tabela-verdade. A tabela seguinte representa a proposicao p q:
p

V V
V F
F V
F F

3.2

pq
V
F
F
F

Disjun
c
ao

Duas proposicoes quaisquer tambem podem ser combinadas pela palavra ou para
formar uma proposicao composta, chamada de disjuncao das proposicoes originais.
Definic
ao 3.3 (Disjunc
ao) Sejam p e q proposicoes. Entao, a proposicao composta p
ou q denomina-se disjuncao de p e q e escreve-se, simbolicamente, p q. O valor verdade
da proposicao p q satisfaz a seguinte propriedade: se p e verdadeiro ou se q e verdadeiro,
ou ambos sao verdadeiros, entao p q sera verdadeiro; caso contrario, p q sera falso.

Exemplo:
1. Seja p Pedro estudou ingles na universidade e seja q Pedro morou nos Estados
Unidos. Assim, p q corresponde `a proposicao Pedro estudou ingles na universidade ou morou nos Estados Unidos.
A seguir a tabela-verdade de p q:

Matematica Discreta - Notas de Aula - Captulo 01 - 5

p

V V
V F
F V
F F

pq
V
V
V
F

A disjuncao e tambem denominada disjunc

ao inclusiva, visto ser necessario que
apenas uma das proposicoes seja verdadeira para que a proposicao composta resultante
seja verdade. Ha, porem, uma variacao deste operador denominada disjunc
ao exclusiva.
Definic
ao 3.4 (Disjunc
ao exclusiva) Sejam p e q proposicoes. Entao a proposic
ao
composta p ou exclusivo q denomina-se disjuncao exclusiva de p e q e escreve-se, simbolicamente, p Y q. Na disjuncao exclusiva, se p e verdadeiro ou se q e verdadeiro, mas
n
ao ambos, entao p Y q sera verdadeiro; caso contrario p Y q sera falso.
A tabela-verdade seguinte apresenta os valores possveis de p Y q:
p

V V
V F
F V
F F

3.3

pYq
F
V
V
F

Condicional

Muitas proposicoes, especialmente em matematica, sao da forma Se p entao q. Tais

proposicoes sao chamadas proposicoes condicionais ou implicacoes.
Definic
ao 3.5 (Condicional) Sejam p e q proposicoes. Entao a proposicao composta
se p, entao q e chamada uma implicacao ou proposicao condicional e representa-se simbolicamente por p q. O condicional p q e verdadeiro a menos que p seja verdadeiro
e q seja falso.
Em outras palavras, a definicao do condicional p q estabelece que uma proposicao
verdadeira nao pode implicar numa proposicao falsa. O condicional p q tambem pode
ser lido como:
p implica em q;
p somente se q;
p e suficiente para q;
q e necessario a p.

Matematica Discreta - Notas de Aula - Captulo 01 - 6

Exemplo:
1. A proposicao Fogo e uma condicao necessaria para fumaca pode ser reformulada
como Se ha fumaca, entao ha fogo. O antecedente e ha fumaca, e o conseq
uente
e ha fogo.
O condicional p q tambem pode ser expresso na forma de uma tabela-verdade:
p

V V
V F
F V
F F

3.4

pq
V
F
V
V

Bicondicional

Outra proposicao comum e da forma p se, e somente se, q. Tais proposicoes sao
chamadas proposicoes bicondicionais e representam os casos em que e desejavel considerar
uma implicacao e sua recproca em conjunto, constituindo uma so proposicao.
Definic
ao 3.6 (Bicondicional) Sejam p e q proposicoes. A proposicao p se, e somente
definida como a conjuncao das implise, q chama-se uma proposicao bicondicional. E
cacoes p q e q p. Portanto, p se, e somente se, q significa (p q) (q p).
Usa-se a notacao p q para representar uma proposicao bicondicional. Desta forma, se
p e q possuem o mesmo valor, entao p q e verdadeiro, caso contrario p q e falso.
Esse conectivo tambem e conhecido como equivalencia.
Exemplo:
1. Seja p Fogo e uma condicao necessaria para fumaca e q Toda vez que existe fumaca
existe fogo entao p q e Existe fumaca se, e somente se, existe fogo.
A seguir a tabela-verdade de p q:
p

V V
V F
F V
F F

pq
V
F
F
V

Matematica Discreta - Notas de Aula - Captulo 01 - 7

3.5

Nega
c
ao

Dada uma proposicao p qualquer, uma outra proposicao, chamada negacao de p, pode
falso que ... antes de p ou, se possvel, inserindo em p a
ser formada escrevendo-se E
palavra nao.
Definic
ao 3.7 (Negac
ao) Seja p uma proposicao. Entao a proposicao nao p e chamada a negacao de p, sendo representada simbolicamente por p. Assim, se p e verdadeiro, entao p e falso; caso contrario, p e verdadeiro.
Exemplo:
falso que Paris
1. Seja p Paris esta na Franca entao p pode ser escrita como: E
esteja na Franca ou Paris nao esta na Franca.
Por se tratar de um operador unario, a tabela-verdade de p possui apenas 2 linhas:

V
F

F
V

F
ormulas Bem Formadas

Pode-se encadear sentencas, seus conectivos e os parenteses (ou colchetes) para obter
novas expressoes, tal como: (p q) (q p). Naturalmente existem algumas regras de
sintaxe (regras sob as quais as cadeias sao validas). Por exemplo, pq nao deve
ser considerada uma cadeia valida. Expressoes que formam cadeias validas sao chamadas
de f
ormulas bem formadas ou wffs (well-formed-formulas).
Para reduzir o n
umero de parenteses necessarios em uma wff, estipula-se uma ordem
na qual os conectivos sao aplicados. Esta ordem de precedencia e:
1. Conectivos dentro de parenteses, dos mais internos para os mais externos
2.
3.
4.
5.
6.
Isso significa que a expressao p q significa p ( q) e nao (p q). Analogamente,
p q r significa (p q) r e nao p (q r).

Matematica Discreta - Notas de Aula - Captulo 01 - 8

Tautologias e Contradi
c
oes

Uma wff, cujos valores verdade sao sempre verdadeiros, e chamada tautologia. Uma
wff, cujos valores verdade sao sempre falsos, e chamada contradic
ao.
Quando uma wff composta na forma P Q e uma tautologia, os valores-verdade de
P e Q conferem para todas as colunas da tabela-verdade. Neste caso, P e Q sao chamadas
de wff equivalentes e denotadas por P Q.
Freq
uentemente, ocorre o fato de uma proposicao ser enunciada de tal modo que
fica difcil determinar seu significado na forma em que se apresenta. Nestas situacoes,
e conveniente encontrar um outro enunciado equivalente da proposicao, que seja mais
facilmente compreensvel.
Definic
ao 5.1 (Proposic
oes equivalentes) Duas proposicoes se dizem equivalentes se
tem os mesmos valores verdade em todos os casos possveis. Usa-se a notacao P Q
para indicar o fato de P e Q serem equivalentes.

Exemplos:
1. As equivalencias da tabela seguinte representam algumas leis fundamentais:

Propriedades

Equival
encias

Comutativas:
pq qp
pq qp
(p q) r p (q r)
(p q) r p (q r)
Associativas:
p (q r) (p q) (p r) p (q r) (p q) (p r)
Distributivas:
de Identidade:
pF p
pV p
Complementares:
p p V
p p F
Idempotentes:
ppp
ppp
Leis de De Morgan:
(p q) p q
(p q) p q
p p
Dupla Negacao:

2. Outras equivalencias relevantes:

Nome

Equival
encia

Implicacao:
(p q) p q
Contraposicao:
(p q) ( q p)
Prova condicional: p (q r) (p q) r

Matematica Discreta - Notas de Aula - Captulo 01 - 9

Argumentos V
alidos

Um argumento e uma colecao finita A1 , A2 , . . . , An de proposicoes (simples ou compostas), seguidas por uma proposicao A. Denota-se um argumento pela notacao:
A1 , A2 , . . . , An A
Cada uma das proposicoes A1 , A2 , . . . , An e chamada uma premissa do argumento e
a proposicao A e chamada de conclus
ao do argumento. Esta definicao e geral e nao exige
que as premissas sejam verdadeiras. Obviamente, na pratica o interesse e por premissas
que possuam valor verdade verdadeiro.
Definic
ao 6.1 (Argumento v
alido) Denomina-se argumento valido toda a seq
uencia
de proposicoes A1 , A2 , . . . , An na qual sempre que as premissas sao verdadeiras a conclus
ao
tambem e verdadeira e, tal que, a conjuncao das premissas implica a conclusao, isto e:
(A1 A2 . . . An ) A
De certa forma, como em qualquer argumento, o que esta em questao nao e a verdade
ou falsidade das premissas, mas a validade da inferencia. Uma vez admitida a verdade das
premissas, necessariamente, as conclusoes serao verdadeiras, desde que suas demonstracoes
sejam todas argumentos validos.
Para testar a validade de um argumento, procede-se da seguinte forma:
1. Constroi-se a tabela-verdade de A1 A2 . . . An
2. Constroi-se a tabela-verdade de A
3. Comparam-se as tabelas, se na mesma linha ocorrer V F (nesta ordem), nao ha
implicacao e o argumento e falho; caso contrario, havera implicacao e o argumento
e v
alido.
Exemplo:
1. Considerando o argumento: p q, p q. Para decidir se o argumento e valido
basta proceder conforme o criterio ja estabelecido, ou seja, constroi-se a tabelaverdade das premissas e da conclusao verificando se existe implicacao em cada linha
da tabela:
p

V V
V F
F V
F F

pq

(p q) p

p q, p q

V
F
V
V

V
F
F
F

V
V
V
V

Matematica Discreta - Notas de Aula - Captulo 01 - 10

Como pode ser observado na tabela, nao existem V e F nas colunas [(p q) p] e q,
respectivamente nesta ordem. Desta forma, o argumento e uma tautologia e, portanto, e
valido.
Um exemplo deste tipo de argumento e:
Se hoje e sabado, entao eu nao preciso ir `a escola.
Hoje e sabado
Conseq
uentemente: eu n
ao vou `
a escola.

Regras de Deduc
ao para a L
ogica Proposicional

As regras de deducao para a logica proposicional sao basicamente de dois tipos, equival
encias e infer
encias. As regras de equivalencia permitem que wffs individuais sejam
reescritas mantendo o mesmo valor logico, enquanto as regras de inferencia permitem a
deducao de novas wffs a partir de wffs anteriores na seq
uencia de demonstracao.
Como ja foi apresentado, as regras de equivalencia dizem que se determinados pares
de wffs sao equivalentes, ou seja, se P Q, entao P Q e uma tautologia e, alem disso,
a proposicao P pode ser substituda pela proposicao Q em qualquer wff sem mudanca do
seu valor logico. As regras de equivalencia, portanto, preservam os valores logicos.

7.1

Regras de Infer
encia

A utilizacao de tabelas-verdades possibilita a validacao de qualquer tipo de argumento.

Entretanto, conforme o n
umero de variaveis aumenta, o uso de tabelas-verdade se torna
impraticavel. Por exemplo, para a validacao de um argumento de 6 variaveis, o que e
bastante comum, seria necessario construir uma tabela verdade com 64 linhas, ou seja
26 combinacoes. Um metodo mais eficiente para demonstrar, verificar ou testar a
validade de um dado argumento, consiste em deduzir a conclusao A a partir das premissas
A1 , A2 , . . . , An , mediante o uso de certas regras de infer
encia. Desta forma, a inferencia
e o processo pelo qual se chega a uma proposicao com base em outras proposicoes aceitas
como ponto de partida do processo.
Ao contrario das regras de equivalencia, as regras de inferencia nao funcionam em
ambas as direcoes, pois equivalem a uma expressao condicional. Apesar disso, as regras
de inferencia preservam os valores logicos. Por exemplo, seja o argumento P Q, P Q
e supondo que P e P Q sejam ambas wff verdadeiras em uma seq
uencia de demonstracao. Entao, Q e dedutvel dessas duas wffs pela regra de inferencia conhecida como
modus ponens. Se P e P Q sao ambas verdadeiras, entao, pela tabela-verdade para o
condicional, Q tambem e verdadeira.

Matematica Discreta - Notas de Aula - Captulo 01 - 11

As regras de deducao representam receitas para transformar wffs. Uma regra so pode
ser aplicada quando a wff tiver exatamente a forma descrita na regra.
A seguir algumas das principais regras de inferencia:
1. Uni
ao: p, q p q
2. Adic
ao: p p q
3. Modus ponens: (p q), p q
4. Modus tollens: (p q), q p
5. Simplificac
ao: p q p
6. Silogismo hipot
etico: (p q), (q r) (p r)
7. Silogismo disjuntivo: (p q), p q
8. Dilema construtivo: (p q), (r s), (p r) (q s)
9. Dilema destrutivo: (p q), (r s), ( q s) ( p r)
10. Absorc
ao: p q p (p q)
11. Simplificac
ao disjuntiva: (p q), (p q) p

7.2

T
ecnicas Dedutivas - Prova Direta

Diz-se que uma proposicao A e formalmente dedutvel (conseq

uencia) de certas proposicoes dadas (premissas) quando, e somente quando, for possvel formar uma seq
uencia
de proposicoes A1 , A2 , . . . , An de tal modo que:
1. An e exatamente A;
2. Para qualquer valor de i (i = 1, 2, 3, . . . , n), Ai ou e uma das premissas ou constitui a
conclusao de um argumento valido formado a partir das proposicoes que a precedem
na seq
uencia.
A proposicao A no caso de ser formalmente dedutvel e denominada teorema e a
seq
uencia formada chama-se prova ou demonstrac
ao do teorema.
Exemplos:
1. Provar s dadas as premissas: t, t q, q s
Demonstracao:

Matematica Discreta - Notas de Aula - Captulo 01 - 12

1.
2.
3.
4.
5.

t
t q
q s
q
s

Premissa
Premissa
Premissa
Modus ponens, 1 e 2
Modus ponens, 3 e 4
c.q.d.

2. Provar r s dadas as premissas: s q, t q, t r

Demonstracao:
1.
2.
3.
4.
5.
6.
7.
8.

7.3

sq
t q
tr
q
( q)
t
r
r s

Premissa
Premissa
Premissa
Simplificacao, 1
Dupla negacao, 4
Modus tollens, 2 e 5
Modus ponens, 3 e 6
Adicao, 7
c.q.d.

Prova Condicional

Uma prova condicional surge quando se deseja provar dada as premissas

A1 , A2 , . . . , An . Fazendo a conjuncao das premissas igual a A, trata-se de mostrar que
e valido o argumento: A .
A forma de se construir uma prova condicional surge do princpio da exportac
ao.
Para se mostrar este princpio utiliza-se a equivalencia notavel: p q p q. Entao,
tem-se:
A ( ) A ( )
A ( ) ( A )
(A ) (A )
Portanto, se (A ) for uma tautologia, isto e, se A , ou seja, se for
possvel deduzir de A , tambem sera uma tautologia a proposicao equivalente e,
portanto, A ( ) e dedutvel de A.
Dessas consideracoes, segue-se a T
ecnica da Prova Condicional: para demonstrar
a validade do argumento cuja conclusao tem forma condicional , introduz-se
como premissa provisoria e deduz-se .
Exemplos:

Matematica Discreta - Notas de Aula - Captulo 01 - 13

1. Provar r p dadas as premissas: p q, r q
Demonstracao:
1.
2.
3.
4.
5.
6.

pq
r q
r
q
p
r p

Premissa
Premissa
Premissa provisoria
Modus ponens, 2 e 3
Modus tollens, 1 e 4
Prova condicional, 3 e 5
c.q.d.

2. Provar a b dadas as premissas: a j g, j ( g h), j b

Demonstracao:
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.

7.4

aj g
j ( g h)
jb
a
aj
g
j (g h)
gh
[ (g h)]
j
b
ab

Premissa
Premissa
Premissa
Premissa provisoria
Adicao, 4
Modus ponens, 1 e 5
Equivalencia, 2
Adicao, 6
Dupla negacao, 8
Modus tollens, 7 e 9
Silogismo disjuntivo, 3 e 10
Prova condicional, 4 e 11
c.q.d.

Prova Bicondicional

A prova de um argumento cuja conclusao e uma proposicao da forma bicondicional

e semelhante a prova condicional, com a diferenca de que e feita em duas partes
distintas. Entao, dada uma proposicao , primeiro prova-se e, a seguir,
prova-se , concluindo-se pela validade do argumento.
Exemplo:
1. Provar a v dadas as premissas: t a, v t, a m, v m
Demonstracao:
1a Parte:

Matematica Discreta - Notas de Aula - Captulo 01 - 14

1.
2.
3.
4.
5.
6.
7.
8.

ta
vt
am
v m
a
m
v
av

Premissa
Premissa
Premissa
Premissa
Premissa provisoria
Modus ponens, 3 e 5
Silogismo disjuntivo, 4 e 6
Prova condicional, 5 e 7

2a Parte:
1.
2.
3.
4.
9.
10.
11.
12.

ta
vt
am
v m
v
t
a
va

Premissa
Premissa
Premissa
Premissa
Premissa provisoria
Modus ponens, 2 e 5
Modus ponens, 1 e 6
Prova condicional, 5 e 7

Conclus
ao:
13. (a v) (v a) Uniao, 8 e 12
14. a v
Premissa
c.q.d.

7.5

Prova Indireta ou Por Reduc

ao ao Absurdo

A partir de uma contradicao pode-se deduzir qualquer proposicao. Ou seja, a partir

da contradicao p p pode-se deduzir uma proposicao qualquer:
p p
De fato: p p F
1.
2.
3.
4.
5.

p p
p
p
p

Premissa
Simplificacao, 1
Simplificacao, 1
Adicao, 2
Silogismo disjuntivo, 3 e 4
c.q.d.

Matematica Discreta - Notas de Aula - Captulo 01 - 15

Seja, agora, provar a partir das premissas A1 , A2 , . . . , An , seq
uencia essa que sera
denominada A. A partir das premissas A e procura-se deduzir a partir delas, isto
e, verifica-se se A .
Pelo princpio da exportacao, tem-se:
A A ( )
Esta u
ltima proposicao consitui-se uma tautologia se ocorrer a seguinte implicacao:
A ( ), isto e, A
( )
A e A

Exemplos:
1. Provar r dadas as premissas: p r, r q, (p q)
Demonstracao:
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.

pr
rq
(p q)
r
q
p q
( q)
p
r
(r r)
r

Premissa
Premissa
Premissa
Premissa provisoria
Modus ponens, 2 e 4
De Morgan, 3
Dupla negacao, 5
Silogismo disjuntivo, 6 e 7
Moduns ponens, 1 e 8
Uniao, 4 e 9
Prova indireta, 4 a 10
c.q.d.

Observacao: da mesma forma como encontrou-se a contradicao (r r) para provar

r, pode-se encontrar a contradiacao (q q) para provar p, ou seja, a contradicao
procurada pode envolver ou nao a mesma variavel da proposicao a ser provada.
2. Provar p dadas as premissas: q r, p r, q
Demonstracao:

Matematica Discreta - Notas de Aula - Captulo 01 - 16

1.
2.
3.
4.
5.
6.
7.
8.
9.

qr
p r
q
( p)
p
r
q
q q
p

Premissa
Premissa
Premissa
Premissa provisoria
Dupla negacao, 4
Modus ponens, 2 e 5
Silogismo disjuntivo, 1 e 6
Uniao, 3 e 7
Prova indireta, 8
c.q.d.

Quantificadores

O que pode ser expresso atraves das wffs das secoes anteriores e muito limitado. Por
exemplo, considerando a sentenca Para todo x, x > 0 como uma sentenca verdadeira
sobre inteiros positivos, ela nao pode ser simbolizada adequadamente atraves de smbolos
proposicionais, parenteses e conectivos logicos.
Exemplos:
1. p : 3 + 5 11, V (p) = V
2. q : x + 5 11, V (q) =?
Nos exemplos anteriores, a proposicao p e verdadeira, ao passo que nada pode ser
afirmado sobre o valor logico na proposicao q, que somente sera conhecido quando x for
identificado. Neste caso, diz-se que a proposicao q e uma sentenca aberta ou func
ao
proposicional. Nas sentencas abertas, os smbolos x, y, entre outros, sao chamados
variaveis.
Definic
ao 8.1 (Conjunto Universal) Chama-se conjunto universal (da variavel) ao
conjunto das possibilidades logicas que podem substituir a variavel na sentenca, sendo
denotado por U.
Cada elemento de U chama-se valor da variavel. U `as vezes e tacitamente imposto
pelo contexto, mas pode tambem ser escolhido pelo agente de estudo em questao.
Exemplos:
1. Seja a sentenca aberta: x + 5 11. Pode-se impor que o conjunto universo da
variavel seja N ou Z ou Q ou R ou o conjunto U = {1, 3, 5, 7, . . .}

Matematica Discreta - Notas de Aula - Captulo 01 - 17

2. Seja a sentenca aberta: O planeta x e o maior planeta do Sistema Solar. O conjunto
universo da variavel x e, pelo contexto, dado pelo conjunto dos planetas conhecidos
do Sistema Solar: U = {Merc
urio, Venus, Terra, Marte, J
upiter, Saturno, Urano,
Netuno, Plutao}.
Alem da definicao de conjunto universal, outra definicao importante e a de conjunto
verdade.
Definic
ao 8.2 (Conjunto verdade) Conjunto verdade (da sentenca) e o conjunto dos
valores da variavel para os quais a sentenca e verdadeira. Denota-se este conjunto por V.

Exemplos:
1. Dada a sentenca: x + 5 11, x R, o seu conjunto verdade e V = {x R | x 6}.
2. O conjunto verdade da sentenca aberta: O planeta x e o maior planeta do Sistema
Solar e V = {J
upiter}.

8.1

Quantificador Universal

No exemplo Para todo x, x > 0 existem dois novos elementos, um quantificador

e um predicado. Os quantificadores sao frases como para todo, para cada ou para
algum, que indicam de alguma forma quantos objetos tem uma determinada propriedade.
O quantificador universal e simbolizado por um A de cabeca-para-baixo, , e e lido
para todo, para todos, para cada ou para qualquer. Portanto, a sentenca Para
todo x, x > 0 pode ser simbolizada como:
(x)(x > 0) ou x x > 0 ou x, x > 0
No primeiro tipo de representacao, um quantificador e sua variavel sao colocados entre
parenteses. O segundo par de parenteses indica que o quantificador age sobre a expressao
interna, que no caso e x > 0. A frase x > 0 descreve a propriedade da variavel x, que
e ser positiva. Uma propriedade tambem e chamada de predicado.
Usa-se a notacao P (x) para representar algum predicado nao especificado ou propriedade que x possa ter. Portanto, a sentenca original e um exemplo da forma mais geral:
(x)P (x)
O valor verdade da expressao (x)P (x) depende do domnio dos objetos sob os quais
esta sendo interpretada a expressao.
Exemplos:

Matematica Discreta - Notas de Aula - Captulo 01 - 18

1. Seja M o conjunto dos seres humanos. Assim, Todos os seres humanos sao mortais
pode ser escrito da seguinte maneira:
(x M )(x e mortal)
2. A proposicao (n N)(n + 4 > 3), onde N e o conjunto dos n
umeros naturais, e
verdadeira desde que:
{n | n + 4 > 3} = {0, 1, 2, 3, . . .} = N
3. A proposicao ( N )(n + 2 > 8) e falsa desde que:
{n | n + 2 > 8} = {7, 8, 9, . . .} =
6 N

8.2

Quantificador Existencial

O quantificador existencial e simbolizado por um E espelhado, , e e lido como existe

um, para pelo menos um ou para algum. Portanto, a expressao:
(x)(x > 0)
deve ser lida como existe um x tal que x e maior que zero.
Exemplos:
1. A proposicao ( N )(n+4 < 7) e verdadeira desde que {n | n+4 < 7} = {1, 2} =
6
2. A proposicao (n)(n + 6 < 4), e falsa pois {n | n + 6 < 4} =

8.3

Nega
c
ao de Proposi
c
oes que Cont
em Quantificadores

A negacao da proposicao Todos os seres humanos sao mortais le-se Nao e verdade
que todos os seres humanos sejam mortais; em outras palavras, existe pelo menos um
homem que nao e mortal. Simbolicamente, M designa o conjunto dos seres humanos, o
que foi dito anteriormente pode ser escrito da seguinte forma:
(x M)(x e mortal) (x M)(x nao e mortal)
Alem disso, se P (x) designa x e mortal, o que foi dito acima pode ser escrito como:
(x M)P (x) (x M) P (x)
Existe um teorema analogo para a negacao de uma proposicao que contem o quantificador existencial.

Matematica Discreta - Notas de Aula - Captulo 01 - 19

(x A)P (x) (x A) P (x)
(x M)P (x) (x M) P (x)

Exemplo:
1. A negacao da proposicao Para todos os n
umeros naturais n, n+2 > 8 e equivalente
`a proposicao Existe um n tal que n + 2 8. Em outras palavras:
( N)(n + 2 > 8) ( N)(n + 2 8)

8.4

Contra-exemplo

Pelo Teorema de De Morgan (x A)P (x) (x A) P (x). Desse modo,

mostrar que uma proposicao (x)P (x) e falsa, e equivalente a mostrar que (x) P (x)
e verdadeiro, isto e, que existe um elemento x0 tal que P (x0 ) e falso. Tal elemento x0 e
chamado de contra-exemplo da proposicao (x)P (x).
Exemplo:
1. A proposicao (x Z)(| x |6= 0) e falsa, pois o n
umero 0 e um contra-exemplo.

8.5

Fun
c
oes Proposicionais Contendo Mais de Uma Vari
avel

Os predicados vistos ate aqui, envolvendo propriedades de uma u

nica variavel, sao
predicados un
arios. Eles podem ser bin
arios, quando envolvem propriedades de duas
variaveis; tern
arios, quando envolvem propriedades de tres variaveis; ou, de forma geral,
n-
arios, quando envolvem propriedades de n variaveis.
Exemplos:
1. A expressao (x)(y)Q(x, y) e lida como para todo x existe um y tal que Q(x, y).
Supondo Q(x, y) sendo a propriedade de x < y no domnio dos n
umeros inteiros, isto
indica que, para qualquer inteiro, existe um inteiro ainda maior. O valor verdade
desta expressao e verdadeiro.
2. A expressao (x)(y)Q(x, y) na mesma propriedade do exemplo anterior indica que
existe um inteiro y que e maior que qualquer inteiro x. O valor verdade desta
expressao e falso.

Matematica Discreta - Notas de Aula - Captulo 01 - 20

Exerccios
1. Determine o verdadeiro valor de cada uma das seguintes proposicoes compostas:
(a) Se 3 + 2 = 7 entao 4 + 4 = 8.
(b) Nao e verdade que 2 + 2 = 5 se, e somente se, 4 + 4 = 10.
(c) Paris esta na Inglaterra ou Londres esta na Franca.
(d) Nao e verdade que 1 + 1 = 3 ou 2 + 1 = 3.
falso que se Paris esta na Inglaterra, entao Londres esta na Franca.
(e) E
2. Qual os valores verdade das seguintes sentencas:
(a) 8 e par ou 6 e mpar.
(b) 8 e par e 6 e mpar.
(c) 8 e mpar ou 6 e mpar.
(d) 8 e mpar e 6 e mpar.
(e) Se 8 e mpar, entao 6 e par.
(f) Se 8 e par, entao 6 e mpar
(g) Se 8 e mpar, entao 6 e par.
(h) Se 8 e mpar e 6 e par, entao 8 < 6.
3. Achar a tabela-verdade de cada uma das proposicoes:
(a) p q.
(b) (p q).
(c) (p q) (p q).
(d) (p q) (p q).
(e) [(p q) p] q].
(f) p (q r).
(g) (p p) q.
(h) [p (q r)] [q (p r)].
4. Verificar, por tabelas verdade, que a negacao de p q, p q, p q e p q e
logicamente equivalente a, respectivamente, p q, p q, p q e p q
ou p q.

Matematica Discreta - Notas de Aula - Captulo 01 - 21

5. Use os resultados dos dois u
ltimos exerccios para simplificar cada uma das seguintes
proposicoes:
(a) (p q).
(b) ( p q).
(c) (p q).
(d) ( p q).
(e) ( p q).
(f) ( p q).
6. Suponha que se defina um novo conector, denotado por , tal que p q e verdade
quando q e verdade e p e falso e e falso em todos os outros casos. Construa as
tabelas verdade para:
(a) p q.
(b) q p.
(c) (p q) p.
7. Verifique se cada uma das seguintes expressoes e uma tautologia:
(a) p p q.
(b) p p q.
8. Determinar se a expressao composta (p q) [ (p q)] e uma tautologia, uma
contradicao ou uma contingencia.
9. Simplifique as proposicoes abaixo, utilizando expressoes equivalentes, sem alterar o
valor verdade da expressao:
(a) p (q p).
(b) [p (q r)] q.
(c) ( p q).
(d) (p r) [ r (p q)].
10. Verificar se (a b) implica tautologicamente as seguintes formas abaixo:
(a) a b a
(b) a b a
(c) a b a b

Matematica Discreta - Notas de Aula - Captulo 01 - 22

(d) a b a a b
11. Prove que p q logicamente implica em p q.
12. Prova que a operacao de disjuncao inclusiva pode ser escrita em termos das operacoes
de conjuncao e negacao.
13. Prove que a operacao condicional se distribui na operacao de conjuncao.
14. Prove que a operacao de disjuncao exclusiva pode ser escrita em termos dos tres
operadores basicos , e .
15. O sinal proposicional e chamado de negacao conjunta: p q le-se Nem p nem q.
Pede-se:
(a) Construir uma tabela verdade para p q
(b) Provar que os tres operadores basicos , e podem ser expressos em termos
do sinal da seguinte maneira:
i. p p p
ii. p q (p p) (q q)
iii. p q (p q) (p q)
16. Determinar os valores logicos das proposicoes abaixo, justificando os casos em que
os dados forem insuficientes:
(a) p (q r), sabendo que V (r) = F .
(b) (p q) (q p), sabendo que V (q) = F .
(c) p [ q (r s)], sabendo que V (p) = F .
(d) p (q s), sabendo que V (p) = V .
(e) p r) (q s), sabendo que V (q) = F .
(f) (p r) s, sabendo que V (r) = V .
(g) p (r s), sabendo que V (r) = V .
(h) (p q) r, sabendo que V (q) = V .
(i) [(p q) p] p, sabendo que V (p) = F .
(j) p ( q r), sabendo que V (q) = V e V (r) = V .
17. Prove que o seguinte argumento e valido:
p q, r q, r p

Matematica Discreta - Notas de Aula - Captulo 01 - 23

18. Provar t das as premissas:
p q, t s, s p, s q
19. Para as premissas dadas determinar uma conclusao apropriada para que o argumento
seja valido:
(a) p q, q.
(b) p q, r q.
(c) p q, p r.
(d) p q, r p, q.
20. Justifique as passagens nas deducoes abaixo:
1.
2.
3.
(a)
4.
5.
6.

(r t) (s r) Premissa
s
Premissa
sr
r
r t
t

1.
2.
3.
4.
5.
(b) 6.
7.
8.
9.
10.
11.

sab
c s
m b
m a e
s
ab
b
m
a
ma
e

1.
2.
3.
4.
(c)
5.
6.
7.
8.

st
ab
(a x) s
bx
ax
s
t
t s

Premissa
Premissa
Premissa
Premissa

Premissa
Premissa
Premissa
Premissa

Matematica Discreta - Notas de Aula - Captulo 01 - 24

1.
2.
3.
4.
(d)
5.
6.
7.
8.

bc
dg
ad
ab
cd
d
c
cab

1.
2.
3.
4.
(e)
5.
6.
7.
8.

z
Premissa
k (z y) Premissa
xk
Premissa
x
k
zy
y
xy

1.
2.
3.
4.
5.
6.
(f) 7.
8.
9.
10.
11.
12.
13.

Premissa
Premissa
Premissa
Premissa

c f
Premissa
adf
Premissa
d b
Premissa
a
df
d
b
f d
f
c
b c
(b c)
a (b c)

21. Demonstrar que os argumentos abaixo sao validos:

(a) (a b) (a (d e)), (a b) c e
(b) e f g, (b c) f, e, b a h a
(c) (a b) (c d), (f b) (b m), b c, ((a d) (f m)) a f
dm
(d) a b, c b c a

Matematica Discreta - Notas de Aula - Captulo 01 - 25

(e) d a, b, a (b c) d c
22. Provar os argumentos abaixo, utilizando a tecnica da reducao ao absurdo:
(a) a b, c b, (a c) a
(b) a b, e a, b e a
(c) b c d, d b, c d c
(d) a e f, e a, c f (a c)
23. Determine o valor verdade para cada uma das seguintes proposicoes (considere o
conjunto universal como sendo o conjunto dos n
umeros reais):
(a) (x)(| x |= x)
(b) (x)(x2 = x)
(c) (x)(x + 1 > x)
(d) (x)(x + 2 = x)
(e) (x)(| x |= 0)
24. Negue as proposicoes do exerccio anterior.
25. Seja A = {1, 2, 3, 4, 5}. Determine o valor verdade de cada uma das proposicoes
seguintes:
(a) (x A)(x + 3 = 10)
(b) (x A)(x + 3 < 10)
(c) (x A)(x + 3 < 5)
(d) (x A)(x + 3 7)
26. Negue cada uma das proposicoes do exerccio anterior.
27. Seja o conjunto universal {1, 2, 3}. Determinar o valor verdade de cada uma das
seguintes proposicoes:
(a) (x)(y)(x2 < y + 1)
(b) (x)(y)(x2 + y 2 < 12)
(c) (x)(y)(x2 + y 2 < 12)
(d) (x)(y)(z)(x2 + y 2 < 2z 2 )
(e) (x)(y)(z)(x2 + y 2 < 2z 2 )
28. Qual a regra de inferencia utilizada em cada argumento dado a seguir:

Matematica Discreta - Notas de Aula - Captulo 01 - 26

(a) Se Gauss e o autor do livro, entao o livro e de Matematica. Mas, o livro nao e
de matematica. Portanto, Gauss nao e o autor do livro.
(b) Se a firma falir, todos os seus ativos tem que ser confiscados. A firma faliu.
Segue que todos os seus bens devem ser confiscados.
(c) O cachorro tem pelo sedoso e adora latir. Portanto, o cachorro adora latir.
(d) Se Paulo e um bom nadador, entao ele e um bom corredor. Se Paulo e um bom
corredor, entao ele e um bom ciclista. Portanto, se Paulo e um bom nadador,
entao ele e um bom ciclista.
29. Para os itens abaixo, decida que conclusao, se e que ha alguma, pode ser inferida
das hipoteses dadas e justifique sua resposta.
(a) Se o carro foi envolvido em um acidente onde o motorista fugiu, entao a pintura
deve ter descascado. Mas a pintura nao esta descascada.
(b) Ou o tempo vai ficar ruim, ou sairemos a tempo. Se o tempo ficar ruim, entao
o voo pode ser cancelado.
(c) Se a conta fosse enviada hoje, voce seria pago amanha. Voce sera pago amanha.
(d) A grama precisa ser cortada e as arvores precisam ser podadas. Se a grama
precisa ser cortada, entao precisamos varrer as folhas.
30. Usando logica proposicional, mostre que os argumentos seguintes sao validos:
(a) Se o programa e eficiente, executa rapidamente: ou o programa e eficiente ou
tem algum bug. No entanto, o programa nao executa rapidamente. Logo, ele
tem um bug.
(b) Se Maria e a mais popular, ela sera eleita. Se Maria e a mais popular, entao
Carlos vai renunciar. Portanto, se Maria e a mais popular, ela sera eleita e
Carlos renunciara.
(c) A colheita e boa mas nao ha agua suficiente. Se houver muita chuva ou se nao
houver muito sol, entao havera agua suficiente. Portanto, a colheita e boa e ha
muito sol.
(d) Se o an
uncio for bom, o volume de vendas aumentara. Ou o an
uncio e bom,
ou a loja vai fechar. O volume de vendas nao vai aumentar. Portanto, a loja
vai fechar.
31. Seja Apq designando p q e seja N p designando p. Reescreva as seguintes proposicoes usando A e N em lugar de e .
(a) p q

Matematica Discreta - Notas de Aula - Captulo 01 - 27

(b) ( p q)
(c) p ( q r)
(d) (p q) ( q r)
32. Reescreva as seguintes proposicoes usando e em lugar de A e N .
(a) N Apq
(b) AN pq
(c) ApN r
(d) ApAqr
(e) AApqr
(f) AN pAqN r
(g) N AAN pqr
(h) AN ApAqpAAN qrp

Refer
encias
GERSTING, J. L. Fundamentos Matematicos Para a Ciencia da Computacao. Rio de
Janeiro: Livros Tecnicos e Cientficos Editora S.A., 1995. 518 p.
MEC. Diretrizes Curriculares para Cursos de Computacao e Informatica. 2005.
MENEZES, P. B. Matematica Discreta para Computacao e Informatica. 2a. ed. Porto
Alegre: Sagra Luzzatto Editora, 2005.
PINTO, J. S. Topicos de Matematica Discreta. 2005.
ROSEN, K. H. Discrete Mathematics and Its Applications. 5th. ed. New York: McGraw
Hill, 2003.