Centro Federal de Educação Tecnológica de Minas Gerais

Lista de Exercı́cios 1 Disciplina: Matemática Discreta Professor: André Rodrigues da Cruz

1) Quais sentenças são proposições?

a) 2 + 2 = 5.
b) 2x − 4 = y.
c) A lua me traiu.
d) Que paı́s é esse?
e) Afasta de mim este cálice.
f) Nós dois tempos o mesmo defeito.

2) Seja p : “Eu possuo a Espada Justiceira.”, q : “A Espada Justiceira me dá a visão além do alcance.”
e r : “Eu sou um Thunder Cat.”. Expresse em português cada proposição abaixo:
a) ¬p b) p ∨ q c) p → q ∧ r d) p ↔ r
e) ¬p ∨ (q ∧ r) f) ¬q ∧ r → p g) ¬p ∧ q ∨ ¬r h) (p → ¬r) ∨ (q → ¬r)

3) Considere p : “Antas estão na mata.”, q : “Caminhar pela mata é seguro.” e r : “Há jabuticabas na
mata.”. Escreva proposições usando p, q e r e conectivos lógicos.

a) Há jabuticabas na mata, mas as antas não estão na mata.

b) Antas não estão na mata e caminhar pela mata é seguro, mas há jabuticabas na mata.
c) Se há jabuticabas na mata, caminhar pela mata é seguro se e somente se antas não estão na mata.
d) Não é seguro caminhar pela mata, mas as antas não estão na mata e há jabuticabas na mata.
e) Caminhada não é seguro pela mata sempre que as antas estão na mata e há jabuticabas na mata.
f) Caminhar pela mata e haver jabuticabas na mata é suficiente para as antas estarem na mata.
g) É necessário haver jabuticabas na mata para que as antas estejam na mata.

4) Diferencie ou inclusivo (disjunção) do ou exclusivo.

a) Receberei de brinde um sabonete ou uma caixa de fósforo.

b) Para o concurso é necessário graduação em engenharia ou matemática.
c) Ao comprar o carro se ganha gratuito seguro contra acidentes ou documentação.
d) A aula é suspensa se chover em demasia ou caso vier menos de 5 alunos.

5) Escreva corretamente as seguintes proposições, definindo antes as variáveis p e q.

a) Ventos no bairro Santa Cruz no verão implicam em queimaduras na pele.

b) Para que vença o sorteio do frango assado é necessário e suficiente que compre o bilhete premiado.
c) Bruno beberá pinga a menos que sua donzela esteja perto.
d) Você perde o ônibus se e somente se chegar atrasado.
e) Susu sempre corta o baralho da metade para cima quando ele joga truco.
f) Chove se é segunda-feira, e é segunda-feira quando chove.
g) É suficiente para a aprovação obter nota maior ou igual a sessenta.
h) Diga-me com quem andas, que eu direi quem és.
i) A garantia do Shopping Oiapoque é de sete dias, se caso comprar algo lá.

1
 6) Determine a oposta, a contrapositiva e a inversa das seguintes condicionais.

a) Se houver sol, haverá jogo de futsal.

b) Eu vou à aula quando tem merenda.
c) Quando jogo a noite toda, durmo na aula de Matemática Discreta.

7) Construa uma tabela verdade para as proposições compostas e classifique-as em contingência, tauto-
logia e contradição.
a) (p ∨ q) → (q → p) b) (p ∨ q) → (p ∧ q) c) p → q ↔ ¬p ∨ q
d) p ⊕ (p ∨ q) e) (q → ¬p) ↔ (p ↔ q) f) p ↔ ¬p
g) (¬p ↔ ¬q) ↔ (p ↔ q) h) (p ⊕ q) ∨ (p ⊕ ¬q) i) ((p → q) → r)

8) Sejam os números binários a = 1001 1101, b = 0110 0011 e c = 1100 0011. Determine resultado binário
das seguintes operações e converta para decimal.
a) a ∧ (b ⊕ c). b) ¬a ∨ (b ∧ c). c) (a ⊕ b) ∧ ¬c.

9) Expresse este sistema de especificações com variáveis proposicionais e determine se este é consistente.
“O sistema está em um estado de multiuso se e somente se estiver operando normalmente. Se o sistema
está operando normalmente, o kernel está funcionando. O kernel não está funcionando ou o sistema
está no modo de interrupção. Se o sistema não está em um estado de multiuso, então está em um
modo de interrupção. O sistema não está no modo de interrupção.”

10) Cinco amigos acessaram uma sala de bate-papo. É possı́vel determinar quem está conversando se as
seguintes informações são conhecidas? Clóvis ou Joana, ou ambos, estão conversando. Ronaldo ou
Vitória, mas não ambos, estão conversando. Se Arnaldo está conversando, então Ronaldo também
está. Vitória e Clóvis estão ambos conversando, ou nenhum dos dois está. Se Joana está conversando,
então estão também Arnaldo e Clóvis. Exponha seus argumentos.

11) Use as leis de Morgan para encontrar as negações das afirmações abaixo.

a) Sebastião programa em C++ e Python.

b) Amanhã irei para uma lagoa ou para uma cachoeira.

12) Usando a tabela verdade, mostre que são logicamente equivalentes.

a) p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (q ∧ q). b) ¬(p ∧ q) ≡ ¬p ∨ ¬q.
c) p ∨ (p ∧ q) ≡ p d) p ∧ (p ∨ q) ≡ p

13) Usando a tabela verdade, determine se cada proposição abaixo é uma tautologia.
a) (¬p ∧ (p → q)) → ¬q b) ¬p → (p → q)
c) [(p → q) ∧ (q → r)] → (p → r) d) [¬p ∧ (p ∨ q)] → q

14) Sem usar a tabela verdade, mostre que são logicamente equivalentes.
a) p → q e ¬q → ¬p b) p ↔ q e (p ∧ q) ∨ (¬p ∧ ¬q)
c) (p → q) ∧ (p → r) e p → (q ∧ r) d) ¬p ↔ q e p ↔ ¬q
e) ¬(p ↔ q) e ¬p ↔ q f) (p → r) ∧ (q → r) e (p ∨ q) → r
g) ¬p → (q → r) e q → (p ∨ r) h) (p → q) ∧ (q → r) e p → r

15) Considere A(x): “x assiste Chaves”, G(x): “x gosta de sanduı́che de presunto” e Q(x): “x possui
uma bola quadrada”, em que o domı́nio são os alunos do CEFET-MG. Expresse as sentenças abaixo
em português.
a) ∃x¬A(x) b) ∀x(A(x) → G(x) ∧ Q(x)) c) ∃x(A(x)∧G(x)∧¬Q(x)) d) ∀x(¬G(x) → ¬A(x))

2
16) Considerando o domı́nio dos alunos da turma de Matemática Discreta e as funções proposicionais C(x):
“x possui um cachorro”, J(x): “x possui um jumento” e R(x)“x possui um rinoceronte”, expresse com
quantificares e conectivos lógicos as seguintes afirmações:

a) Um aluno possui um cachorro, um jumento, mas não um rinoceronte.

b) Todos os alunos possuem ao menos um cachorro, e um jumento ou um rinoceronte.
c) Nenhum aluno possui ao mesmo tempo um cachorro e um jumento, mas todos tem um rinoceronte.
d) Há pelo menos um aluno que possua um cachorro, um jumento ou rinoceronte.

17) Transcreva as asserções em expressões lógicas, usando predicados, quantificadores e conectivos lógicos.

a) Algum violão não está no lugar certo.

b) Todos os violões estão no lugar certo e em excelentes condições.
c) Nenhum violão está no lugar e em excelente condição.
d) Um violão não está no lugar correto, mas está em excelente condição.

18) Determine a veracidade das proposições abaixo, primeiro considerando o domı́nio R , Z, e depois N∗ .
a) ∀x(x = (−x)2 ) b) ∃x(x2 = π) c) ∀x(x2 6= x) d) ∃x(x3 = −1)

19) Apresente a expressão lógica da negação das proposições, de modo que tal operador não fique à
esquerda.

a) Alguns atletas não bebem bebida alcoólica ou comem pão com linguiça.
b) Todo filme nacional possui cenas de comédia, mas não de drama.

20) Para o domı́nio dos números inteiros, se possı́vel, encontre um contraexemplo.

a) ∀x(x2 ≥ x) b) ∀x(x > 0 ∨ x < 0) c) ∀x(x = 1) d) ∀x(x2 6= x)

21) Expresse cada sistema de especificações usando predicados, quantificadores e conectivos lógicos.

a) Pelo menos um e-mail, entre o conjunto total de mensagens, pode ser salvo se o disco estiver com
mais de 10 kilobytes de espaço livre.
b) A tela de diagnóstico rastreia a situação de todos os sistemas, exceto do console principal.
c) O firewall está em estado de diagnóstico apenas se o servidor de proxy estiver em estado de di-
agnóstico.

22) Justificando a resposta, determine se são logicamente equivalentes.

a) ∀x(P (x) → Q(x)) e ∀xP (x) → ∀xQ(x)

b) ∀x(P (x) ↔ Q(x)) e ∀xP (x) ↔ ∀xQ(x)
c) ∃x(P (x) ∨ Q(x)) e ∃xP (x) ∨ ∃xQ(x)
d) ∀x(P (x) ∨ Q(x)) e ∀xP (x) ∨ ∀xQ(x)
e) ∃x(P (x) ∧ Q(x)) e ∃xP (x) ∧ ∃xQ(x)

23) Seja A(x, y):“x conhece y”, C(x, y):“x conversou hoje com y”, em que x e y pertencem ao domı́nio dos
professores da universidade. Use quantificadores para expressar as frases à seguir.

a) Joaquim não conhece José, mas eles conversaram hoje.

b) Maria já conversou com todos os professores.
c) Todos os professores que conhecem Elisa conversaram com ela.

3
24) Expresse as afirmações abaixo com quantificadores, predicados, operadores matemáticos e lógicos, em
que o domı́nio são todos os números inteiros.

a) A soma de dois inteiros negativos é negativo.

b) A diferença entre dois positivos nem sempre é maior que zero.
c) Todo inteiro positivo é a soma dos quadrados de quatro números inteiros.
d) O produto de dois número negativos é positivo.
e) Não existe um inteiro que seja raiz quadrada de um número negativo.

25) Considerando o domı́nio dos números reais, transcreva para o português as seguintes quantificações.
a) ∀x∀y∃z(x + y = z) b) ∃x∃y(x2 > y ∧ x < y) c) ∃x∃y(x2 + y 2 = 6)

26) Aplique a negação de modo que este operador não fique antes de um quantificador.
a) ¬(∃x∃y¬P (x, y) ∧ ∀x∀yQ(x, y)) b) ¬∀x(∃y∀zP (x, y, z) ∨ ∃ ∀yP (x, y, z))

27) Considerando o domı́nio dos números inteiros, se possı́vel, encontre um contraexemplo.

a) ∀x∀y(x2 = y 2 → x = y) b) ∀x∃y(x = 1/y) c) ∀x∃(y 2 − x < 100)

28) Considerando que o domı́nio das variáveis para as respectivas quantificações são os mesmos, mostre
que são logicamente equivalentes.
a) ∀xP (x) ∨ ∀yQ(y) e ∀x∀y(P (x) ∨ Q(y)) b) ¬∃x∀yP (x, y) e ∀x∃y¬P (x, y)

29) Qual regra de inferência foi usada nos seguintes argumentos.

a) Joana comeu melancia e chupou laranja. Por isso, Joana comeu melancia.
b) Se eu jogar de centroavante, farei gols. Eu não fiz gols. Por esta razão, eu não joguei de centroavante.
c) Pedrinho peidou. Portanto, Pedrinho arrotou ou peidou.
d) Todas as mulheres devem trabalhar onde elas quiserem. Ana é uma mulher. Em razão disso, Ana
deve trabalhar onde ela quiser.
e) Se eu malandrar na disciplina do professor André, então eu serei reprovado. Se eu for reprovado,
minha mãe não deixará eu jogar LoL. Logo, se eu malandrar na disciplina do professor André, então
minha mãe não deixará eu jogar LoL.
f) Se Marina dedicar aos estudos, ela conseguirá passar no concurso. Marina se dedicou aos estudos.
Diante disso, Marina passou no concurso.
g) Thiago irá para o boteco ou para a pizzaria. Thiago não foi para a pizzaria. Consequentemente,
Thiago foi para o boteco.
h) Juca, aluno de Cálculo I, dormiu durante a aula. Dado isso, existe um aluno que dormiu na aula
de Cálculo I.
i) Helena é bonita. Helena é charmosa. Isto posto, Helena é bonita e charmosa.
j) Ontem eu tomei sorvete de menta ou bebi suco de morango. Ontem eu apreciei chá de erva cidreira
ou não tomei sorvete de menta. Por consequência, ontem eu bebi suco de morango ou apreciei chá
de erva cidreira.
k) Nenhuma criança trabalha. Antônio trabalha. Por isso, Antônio não é uma criança.

4
30) Indique que regras de inferência mostram que as hipóteses levam a validade da conclusão.
a) Hipóteses: João se alimenta. Se João se alimenta, então ele tem condições para as atividades fı́sicas.
Se João tem condições para as atividades fı́sicas, então ele corre. Conclusão: João pode corre.
b) Hipóteses: Se não chover ou não nevar, então haverá a maratona e a transmissão ao vivo ocorrerá.
Se a maratona ocorrer, então eu ficarei entre os cinco primeiros. Não fiquei entre os cinco primeiros
colocados. Conclusão: Choveu.
c) Hipóteses: Eneres, um estudante desta turma, sabe bem Cálculo. Todos que sabem Cálculo sa-
bem bem Cálculo terão facilidade em Análise Matemática. Conclusão: Alguém na sala possuirá
facilidade em Análise Matemática.
d) Hipóteses: Não chove ou Ivete sai de sombrinha. Ivete não saiu com sobrinha ou ela não quer se
molhar. Chove ou Ivete não se molha. Conclusão: Ivete não se molha.
31) Usando regras de inferências válidas, que conclusão(ões) se pode(m) tirar das seguintes premissas.
a) Se eu folgo do trabalho, chove ou neva. Eu folguei ontem ou antes de ontem. Fez sol antes de
ontem. Não nevou ontem.
b) Se eu como jaca, tenho sonhos estranhos. Eu tenho sonhos estranhos quando assisto filmes
românticos. Eu não tive sonhos estranhos.
c) Eu sou ou ágil ou sortudo. Eu não tenho sorte. Se eu tivesse sorte, então eu ganharia o bingo.
d) Todo graduando possui um celular. Blanka não tem um celular. Chun-Li possui um celular.
e) O que é bom para mim, é bom para tu. Sendo bom para tu, é bom para ele. Uva é bom para mim.
f) Todos os nadadores usam touca. Raul é nadador. Mı́riam não usa touca. Jorge não é nadador.
g) Se jogo RPG, então eu fico extasiado. Eu bebo café quando fico extasiado. Eu não tive um êxtase.
h) Se eu trabalho, então chove forte ou fraco no dia. Eu trabalhei sábado ou domingo passado. O dia
não estava chuvoso na segunda-feira. Choveu pouco no sábado.
i) Todos os mamı́feros possuem vértebras. Ornitorrincos são mamı́feros. Cobras possuem vértebras.
Cobras comem ornitorrincos.
j) Todo engenheiro acessa a Internet. Joaquim não possui acesso à Internet. Rita acessa a Internet.
k) Não gosto de tortas sem fermento na receita. Torta de limão não leva fermento. Você come apenas
o que é saboroso. Você não come torta de limão. Torta de morango não leva fermento.
l) Estou dormindo ou cochilando. Eu não durmo agora. Se cochilo, sonho que estou voando.
32) Determine se os argumentos são válidos. Se sim, indique as regras de inferência aplicadas. Senão,
aponte os erros de lógica.
a) Se n ∈ R tal que n > 1, então n2 > 1. Suponha que n2 > 1. Então n > 1.
b) Se n ∈ R com n > 3, então n2 > 9. Suponha que n2 ≤ 9. Então n ≤ 3.
c) Se n ∈ R com n > 2, então n2 > 4. Suponha que n2 ≤ 2. Então n ≤ 4.
33) Identifique o(s) erro(s) nos argumentos que supostamente mostram que se ∃xP (x) ∧ ∃xQ(x) é verda-
deira, então ∃x(P (x) ∧ Q(x)) também é.
1. ∃xP (x) ∧ ∃xQ(x) Premissa
2. ∃xP (x) Simplificação de (1)
3. P (c) Instanciação existencial de (2)
4. ∃xQ(x) Simplificação de (1)
5. Q(c) Instanciação existencial de (4)
6. P (c) ∧ Q(c) Conjunção de (3) e (5)
7. ∃x(P (x ∧ Q(x))) Generalização existencial de (6)

5
34) Considerando que o domı́nio dos quantificadores são os mesmos e usando regras de inferência, mostre.

a) Se ∀x(P (x) → Q(x)) e ∀x(Q(x) → R(x)) são verdadeiras, então ∀x(P (x) → R(x)) é verdadeira.
b) Se ∀x(P (x) → (Q(x)∧S(x))) e ∀x(P (x)∧R(x)) são verdadeiras, então ∀x(R(x)∧S(x)) é verdadeira.

35) Determine se o seguinte argumento é válido: “Se o herói é capaz e tem vontade de combater o mal, ele
é benevolente. Se o herói não é capaz de combater o mal, ele é impotente. Se ele não tem vontade de
combater o mal, ele é malevolente. O herói não combate o mal. Se o herói existe, ele é ou impotente
ou malevolente. Por isso, o herói não existe.”

36) Prove as seguintes afirmações através de demonstração direta.

a) A soma de inteiros ı́mpares é par.

b) O quadrado de um número par é par.
c) Todo inteiro ı́mpar é a diferença de dois quadrados.

37) Prove as seguintes afirmações através de demonstração pela contraposição.

a) Considerando x, y ∈ R, se x + y ≥ 2 então c ≥ 1 ou y ≥ 1.
b) O inverso aditivo de um número par é par.
c) O produto de dois números ı́mpares é ı́mpar.

38) Prove as seguintes afirmações através de demonstração por contradição.

a) A soma de um número irracional com um racional é irracional.

b) Sendo n ∈ Z, se n3 + 5 é ı́mpar, então n é par.
c) Suponha m, n ∈ Z. Se mn é par, então m é par ou n é par.

39) Demonstre utilizando uma técnica adequada:

a) Se n é um número inteiro e 3n + 2 é par, então n é par.

b) Mostre P (1), em que P (n) afirma que “Se n é um inteiro positivo, então n2 ≥ n”.
c) Dado que m, n e p são inteiros, se m + n e n + p são pares, então m + p é par.
d) Se x é irracional, então 1/x é irracional.
e) Suponha n ∈ R. Se n + 1 < 10 e −5n < 50, então n = 9,5.
f) Existe n ∈ Z∗ tal que n2 + 1 ≥ 2n .

40) Suponha que haja 5 crianças e 7 balas de maçã verde. Prove que ao distribuir todas as balas para
todas as crianças, pelo menos uma ganhará mais de uma.

41) Mostre que pelo menos 10 de quaisquer 64 dias escolhidos devem cair no mesmo dia da semana.

42) Demonstre as equivalências:

a) Se n ∈ N∗ , então n é ı́mpar se somente se 5n + 6 for ı́mpar.

b) Dado m, n ∈ R, m2 = n2 se e somente se m = n ou m = −n.
c) Supondo x ∈ Z, é equivalente afirmar que (i) 3x + 2 é par, (ii) x + 5 é ı́mpar, e (iii) x2 é par.
d) Dado x ∈ R, são equivalentes, (i) x é irracional, (ii) 3x − 1 é irracional, e (iii) x/2 é irracional.
e) Considere n ∈ Z. Assim, n2 ı́mpar ↔ 1 − n é par ↔ n3 é ı́mpar ↔ n2 + 1 é par.

6
 √
43) Considerando x ∈ R, está correta a demonstração de x + 3 = 3 − x? Se não estiver, aponte o(s)
erro(s).
√
(1) x + 3 = 3 − x é dado.
(2) x + 3 = x2 − 6x + 9, obtido pela raiz quadrada de ambos os lados de (1).
(3) 0 = x2 − 7x + 6, obtido pela subtração de x + 3 de ambos os lados de (2).
(4) 0 = (x − 1)(x − 6), obtido pela fatoração do lado direito de (3).
(5) x = 1 ou x = 6 de (4), ab = 0 implica a = 0 ou b = 0.

44) Realize uma demonstração por casos:

a) Sendo x, y ∈ R, então max(x, y) + min(x, y) = x + y.

b) Dados a, b, c ∈ N, tem-se que min(a, min(b, c)) = min(min(a, b), c).
c) (Desigualdade triangular) Se x, y ∈ R, então |x| + |y| ≥ |x + y|.

45) Prove, de modo não construtivo, que existem 100 números inteiros consecutivos que não são raı́zes
quadradas perfeitas.

46) Demonstre ou contrarie.

a) Existe um inteiro positivo que é igual a soma dos inteiros positivos antecedentes a ele.
b) Há um racional x e um irracional y tal que xy é irracional.
c) Se x e y são racionais, então xy é racional.

47) Quando as expressões abaixo resulta em verdadeiro?

a) ∃x∀y(P (y) ↔ x = y)
b) ∃xP (x) ∧ ∀x∀y(P (x) ∧ P (y) → x = y)
c) ∃x(P (x) ∧ ∀y(P (y) → x = y))

48) Mostre que se a, b e c são reais e a 6= 0, então há uma única solução para a equação ax + b = c.

49) Prove que se n é um número ı́mpar, então há um único inteiro k, tal que n é a soma de k − 2 e k + 3.

50) Demonstre que não há um inteiro positivo, tal que n3 + n2 = 100.