Lista 1

Universidade Federal de Viçosa – UFV
Departamento de Informática – DPI

Disciplina: Matemática Discreta – INF 230
Professor: Thiago Luange Gomes ([email protected])
Lista de Exercícios:
Parte I
Exercícios
1. Escreva cada uma das proposições compostas a seguir utilizando a notação simbólica introduzida na
lógica proposicional.
a) Se Jane vencer ou perder, irá ficar cansada.
b) Rosas são vermelhas ou violetas são azuis.
c) Se elefantes podem subir em árvores, 3 é um número irracional.
d) É proibido fumar cigarros ou charutos.
e) Náo é verdade que se π > 0 se e somente π > 1.
f) Se as laranjas são amarelas, então os morangos são vermelhos.
g) É falso que se Montreal é a capital do Canadá, então a próxima copa será realizada no Brasil.
2. Para cada uma das fórmulas seguintes, acrescente parênteses de maneira que não seja necessário
utilizar as regras de precedência entre os conectivos da lógica proposicional.
a) ¬A ∧ B → C
b) (A → B) ∧ ¬(A ∨ B → C)
c) A → B → C ↔ ⊥
d) A ∧ ¬A → B
e) A ∨ B ∧ C
3. Construa tabelas verdade para as fórmulas a seguir e classifique-as como sendo tautologias, contin-
gências ou contradições:
a) (A → B) ↔ ¬A ∨ B
b) (A ∧ B) ∨ C → A ∧ (B ∨ C)
c) A ∧ ¬(¬A ∨ ¬B)
d) A ∧ B → ¬A
4. Suponha que você possua um algoritmo que a partir de uma fórmula α da lógica responda sim se
esta é satisfazível e não, caso contrário. Explique como usar esse algoritmo para determinar se uma
fórmula é uma:
a) Tautologia
b) Contradição
5. Prove as seguintes equivalências usando raciocínio algébrico:
a) (A ∨ B) ∧ B ≡ B
b) (¬A ∧ B) ∨ (A ∧ ¬B) ≡ (A ∨ B) ∧ ¬(A ∧ B)
c) ((A → B) → A) → A ≡ ⊤
6. Para cada uma das fórmulas a seguir, apresente fórmulas equivalentes na forma normal conjuntiva e
disjuntiva.
a) (A ∧ B) ∨ C → A ∧ (B ∨ C)
b) A ∧ ¬(¬A ∨ ¬B)
c) A ∧ B → ¬A
1
7. Prove as seguintes equivalências utilizando regras algébricas para logica de predicados.
a) ∀x.P (x) → ¬Q(x) ≡ ¬∃x.P (x) ∧ Q(x)
b) ¬∀x.∃y.R(x, y) ∧ ¬P (x, y) ≡ ∃x.∀y.R(x, y) → P (x, y)
8. Prove os seguintes teoremas:
a) Suponha a, b ∈ R. Se a < b < 0 então a2 > b2 .
b) Suponha a, b, c, d ∈ R, 0 < a < b e d > 0. Se ac ≥ bd então c > d.
y+1
a) Suponha que x ∈ R. Se x ̸= 1 então existe y tal que y−2 =x
1
b) Suponha que x ∈ R. Se x > 2 então existe y tal que y + y =x
a) Suponha x, y ∈ Z ímpares. Então xy é um numero inteiro ímpar
b) Suponha a, b ∈ Z arbitrários. Então existe c ∈ Z tal que a divide c e b divide c.
1 y
a) Suponha x, y ∈ R e que x ̸= 0. Então y + x =1+ x se e somente se x = 1 ou y = 1.
b) Para todo a, b ∈ R, |a| ≤ b se e somente se −b ≤ a ≤ b
12. Demonstre que ao menos 4 de 22 dias escolhidos devem cair no mesmo dia da semana. Qual foi a
estratégia de prova utilizada?
√
13. Prove que 3 é um número irracional. [Dica: Use que se x é um número racional, existe um p, q ∈ Z
tal que x = p/q e p/q é irredutível.]
14. Apresente uma definição recursiva do conjunto de números naturais ímpares.
15. Apresente uma definião recursiva do conjunto de números inteiros múltiplos de 5.
16. Liste todos os elementos dos conjuntos abaixo.
a) {x | x é um número real, tal que x2 = 1}.
b) {x | x é um número inteiro positivo menor que 12}.
c) {x | x é o quadrado de um número inteiro e x < 100}.
d) {x | x é um número inteiro, tal que x2 = 2}.
17. Determine se cada uma das proposições abaixo é verdadeira ou falsa.
a) 0∈∅ e) {0} ∈ {0}

b) ∅ ∈ {0}
f) {0} ⊂ {0}
c) {0} ⊂ ∅
d) ∅ ⊂ {0} g) {∅} ⊆ {∅}
18. Quantos elementos cada um dos conjuntos abaixo tem, se a e b são elementos distintos?
a) P ({a, b, {a, b}})
b) P ({∅, a, {a}, {{a}}})
c) P (P (∅))
19. Apresente exemplos de conjuntos A e B tais que P(A ∪ B) ̸= P(A) ∪ P(B).
20. (Rosen 2.2.2) Suponha que A seja o conjunto dos veteranos de sua faculdade e B, o conjunto dos
estudantes de matemática discreta de sua faculdade. Expresse cada um dos conjuntos abaixo em
termos de A e B.
a) o conjunto dos veteranos que assistem às aulas de matemática discreta em sua faculdade.
2
b) o conjunto dos veteranos que não assistem às aulas de matemática discreta em sua faculdade.
c) o conjunto dos estudantes que são ou veteranos ou assistem às aulas de matemática discreta em
sua faculdade.
d) o conjunto dos estudantes que ou não são veteranos ou não assistem às aulas de matemática
discreta em sua faculdade.
21. Prove que, se A ⊆ B então B ⊆ A.
22. Prove que P(A) ∩ P(B) = P(A ∩ B).
23. Prove que se A ∪ B = A − B então B = ∅.
24. Prove que se A e B − C são disjuntos então A ∩ B ⊆ C.

Lista 1

Enviado por

Direitos autorais:

Formatos disponíveis

Lista 1

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Lista 1

Enviado por

Direitos autorais:

Formatos disponíveis

Universidade Federal de Viçosa – UFV

Departamento de Informática – DPI

a) 0∈∅ e) {0} ∈ {0}

24. Prove que se A e B − C são disjuntos então A ∩ B ⊆ C.

Você também pode gostar