Universidade Federal de Uberlândia

Faculdade de Engenharia Elétrica

Curso de Graduação em Engenharia de Computação

2ª. Prova de Lógica e Matemática Discreta (LMD) – 01/06/2021

VALOR: 30,0 PONTOS

Prof.: Edgard Lamounier Jr.

Aluno (a): ________________________________________________ Matrícula: _____________

01. (6,0 pontos) Considere os predicados abaixo:

I(x): “x sabe Inglês”
P(x): “x sabe Python”
G(x): “x é empregado no Google”
Expresse cada uma das sentenças abaixo em termos de I(x), P(x) e G(x), associando
com quantificadores e conectivos lógicos. O conjunto universo é o conjunto dos alunos de
Engenharia de Computação da FEELT:
a. Existe aluno que sabe Inglês e sabe Python.
b. Existe aluno que sabe Python, mas não sabe Inglês.
c. Todo aluno que sabe Inglês e sabe Python é empregado no Google.
d. Nem todo aluno que é empregado no Google sabe Python.

02. (8,0 pontos) Sejam dois círculos tangentes C1 e C2 com respectivos raios r1 e r2, tais
que r1 é um número racional e r2 irracional. Inicialmente, os círculos estão parados
com os pontos p1 do círculo C1 e p2 do círculo C2 coincidentes, no ponto P. Logo
que o instante inicia, os círculos C1 e C2 começam um movimento uniforme de
rotação, sem deslizamento. Prove que, uma vez o movimento iniciado, os pontos p1
e p2 nunca mais serão coincidentes novamente.

Sugestão: Utilize demonstração por absurdo.

03. (6,0 pontos) Use o Princípio da Indução Finita para provar a fórmula da soma finita
dos termos de uma PG (Progressão Geométrica):

𝑎𝑟 −𝑎
𝑎𝑟 = 𝑎 + 𝑎𝑟 + 𝑎𝑟 + ⋯ + 𝑎𝑟 = , 𝑞𝑢𝑎𝑛𝑑𝑜 𝑟 ≠ 1.
𝑟−1
04. (6,0 pontos) Prove que “x será ímpar se e somente se x2 + 2x + 1 for par”.

05. (4,0 pontos) Considerando o grafo abaixo, mostre qual será a sequencia de nós
visitados pela busca em largura e qual será a sequencia dos nós visitados pela busca
em profundidade. Em ambos os casos, a busca inicia no nó l.

a. Busca em Largura:
b. Busca em Profundidade: