Lista1_GEX252_Gabarito

Universidade Federal de Lavras
Departamento de Ciências Exatas
Professora: Andreza C. Beezão Moreira.

Disciplina: GEX 252 – Matemática Discreta.
Monitor: Caio de Oliveira Lopes
Turmas: 10A e 14A.
Sugestão de exercícios – Noções de lógica
1. Qual é a negação de cada uma das proposições abaixo?
(a) Marisa tem um tablet.

(b) Não há poluição em Cubatão.
(c) 2 + 1 = 3.
(d) O verão em Lavras é quente e ensolarado.
2. Considere as proposições p, q e r apresentadas abaixo:
p: Você está gripado.

q: Você faltou no exame final.
r: Você foi aprovado em Matemática Discreta.
Expresse, em forma de frase, as proposições mostradas abaixo:
(a) p → q.
(b) ¬q ↔ r.
(c) q → ¬r.
(d) p ∨ q ∨ r.
(e) (p ∧ q) ∨ (¬q ∧ r).
3. Determine se cada uma das condicionais abaixo é V ou F.
(a) Se 1 + 1 = 3, então unicórnios existem.

(b) Se 1 + 1 = 3, então cachorros podem voar.
(c) Se 1 + 1 = 2, então gatos podem voar.
(d) Se 2 + 2 = 4, então 1 + 2 = 3.
4. Escreva as proposições abaixo no formato “p se e somente se q”, em frases por extenso.
(a) Se está quente lá fora, você compra um sorvete, e se você compra um sorvete, está
quente lá fora.
(b) Para que você vença o concurso, é necessário e suficiente que você tenha o único
bilhete premiado.
(c) Trens chegam tarde exatamente naqueles dias que eu os pego.
5. Considere as proposições p : “A casa é azul”, q : “A casa tem 30 anos”e r : “A casa é feia”.

Passe para a linguagem simbólica as seguintes sentenças:
(a) Se a casa tem 30 anos, então ela é feia.

(b) Se a casa é azul, então ela é feia ou tem 30 anos.
(c) A casa não é feia se e somente se ela tem 30 anos.
(d) A casa tem 30 anos se ela é azul, e ela não é feia se ela tem 30 anos.
6. Construa a tabela verdade das seguintes proposições:
(a) p ↔ ¬p.
(b) p ⊕ (p ∨ q).
(c) (p ∧ q) → (p ∨ q).
(d) (q → ¬p) ↔ (p ↔ q).
(e) ¬[(¬p) ∧ (¬q)].
7. Considere as seguintes definições, a respeito de p → q:
oposta: q → p;
inversa: ¬p → ¬q;
contra-positiva: ¬q → ¬p.
Nas sentenças abaixo, determine quais serão as proposições p e q e escreva (em português)
suas respectivas proposições compostas na forma oposta, inversa e contra-positiva. (Obs.:
considere os valores de x e n como reais).
(a) Se chove, então eu irei ao trabalho de carro.

(b) Se n é maior que 3, então n2 é maior que 9.
8. Através de tabela verdade, mostre que:
(a) (p → r) ∧ (q → r) ⇔ (p ∨ q) → r.
(b) p ↔ q ⇔ (p → q) ∧ (q → p).
9. Apresente uma justificativa do porquê (p → r) ∧ (q → r) e (p ∨ q) → r são logicamente

equivalentes.
10. Verifique se as seguintes proposições abaixo são equivalentes. Como você chegou à sua
conclusão?
(a) Sentença 1: ¬(p ∧ q); Sentença 2: ¬p ∨ ¬q.

(b) Sentença 1: ¬(p → q); Sentença 2: p ∧ ¬q.
11. Supondo que p seja uma sentença verdadeira, que q seja falsa, que r seja falsa e que s
seja verdadeira, decida quais das sentenças abaixo são verdadeiras e quais são falsas.
(a) (r ∧ s) ∨ q.
(b) ¬s ∨ ¬r.
(c) (s ∧ p) ∨ (q ∧ r).
12. Seja P (x) a seguinte proposição: “x tem mais de 4 horas-aula por dia.”, em que x pertence
ao domínio dos estudantes da UFLA. Expresse as quantificações abaixo em português,
por extenso.
(a) ∃xP (x).
(b) ∀xP (x).
(c) ∃x¬P (x).
(d) ∀x¬P (x).
13. Expresse o valor verdade para cada uma das quantificações abaixo, levando em conta o
domínio em R.
(a) ∃x(x3 = −1).
(b) ∃x(x4 < x2 ).
(c) ∀x((−x)2 = x2 ).
(d) ∀x(2x > x).
14. Expresse as asserções “Algum estudante desta sala fará estágio no Google” e “Todo estu-
dante desta sala fará estágio no Google ou na IBM” em termos de lógica de predicados.
[Domínio: estudantes desta sala.]
15. Considere as proposições P (x): “x fala italiano” e Q(x): “x sabe Python”. Expresse
as proposições compostas abaixo em termos de P (x), Q(x), quantificadores e conectivos
lógicos.
[Domínio: estudantes de sua escola.]
(a) Há um estudante em sua escola que fala italiano e sabe Python.
(b) Há um estudante em sua escola que fala italiano, mas não sabe Python.
(c) Todo estudante em sua escola ou fala italiano ou sabe Python.
(d) Nenhum estudante em sua escola fala italiano ou sabe Python.
16. Utilize quantificadores e predicados para expressar as frases abaixo.
[Domínio: estudantes, em geral.]
(a) Há um estudante desta sala que fala inglês.
(b) Alguns estudantes cursaram todas as disciplinas do primeiro período.
(c) Todos os estudantes aprenderam pelo menos uma linguagem de programação.
(d) Todo estudante desta sala cursou Cálculo 1 no primeiro período com pelo menos um
outro estudante.
17. Exercícios sobre técnicas de demonstração: primeiramente, façam os exercícios
deixados no material usado em aula. Após isso, resolvam exercícios da Seção 1.6 da bi-
bliografia abaixo.
Rosen, K. H. (2009). Matemática discreta e suas aplicações. São Paulo: McGraw-
Hil, 6ed.
1 Gabaritos - Noções de lógica
1. Resposta:
(a) Marisa não tem um tablet.

(b) Há poluição em Cubatão.
(c) 2 + 1 6= 3.
(d) O verão em Lavras não é quente ou não é ensolarado.
2. Resposta:
(a) Se você estiver gripado, então você faltará ao exame.

(b) Você não faltará no exame final se, e somente se, você for aprovado em Matemática
Discreta.
(c) Se você faltou no exame final, então você não foi aprovado em Matemática Discreta.
(d) Você está gripado ou você faltou no exame final ou você foi aprovado em Matemática
Discreta.
(e) Você está gripado e faltou no exame final, ou você não faltou no exame final e foi
aprovado em Matemática Discreta.
3. Resposta:
(a) V.
(b) V.
(c) F.
(d) V.
4. Resposta:
(a) Você compra um sorvete se, e somente se, está quente lá fora.
(b) Você vence o concurso se, e somente se, você tem o único bilhete premiado.
(c) Trens chegam tarde se, e somente se, eu os pego em tais dias.
5. Resposta:
(a) q → r.
(b) p → (r ∨ q).
(c) ¬r ←→ q.
(d) (p → q) ∧ (q → ¬r).
6. Resposta:
(a) Tabela Verdade:

p ¬p p ←→ ¬p
V F F
V F F
F V F
F V F
(b) Tabela Verdade:
p q (p ∨ q) p ⊕ (p ∨ q)
V V V F
V F V F
F V V V
F F F F
(c) Tabela Verdade:
p q (p ∧ q) (p ∨ q) (p ∧ q) → (p ∨ q)
V V V V V
V F F V V
F V F V V
F F F F V
(d) Tabela Verdade:
p q ¬p (q → ¬p) (p ←→ q) (q → ¬p) ←→ (p ←→ q)
V V F F V F
V F F V F F
F V V V V V
F F V V V V
(e) Tabela Verdade:
p q ¬p ¬q [(¬p) ∧ (¬q)] ¬[(¬p) ∧ (¬q)]
V V F F F V
V F F V F V
F V V F F V
F F V V V F
7. Resposta:
(a) p: “Chove.” e q: “Eu irei ao trabalho de carro.”
Oposta: “Se eu for ao trabalho de carro, então chove.”
Inversa: “Se não chove, então não irei ao trabalho de carro.”
Contrapositiva: “Se eu não for ao trabalho de carro, então não chove.”
(b) p: “n é maior que 3.” e q: “n2 é maior que 9.”
Oposta: “Se n2 é maior que 9, então n é maior que 3.”
Inversa: “Se n não é maior que 3, então n2 não é maior que 9.”
Contrapositiva: “Se n2 não é maior que 9, então n não é maior que 3.”
8. Resposta:
(a) Tabela Verdade:
p q r (p → r) (q → r) (p ∨ q) (p ∨ q) → r (p → r) ∧ (q → r) ⇐⇒ (p ∨ q) → r
V V V V V V V V
V V F F F V F V
V F V V V V V V
V F F F V V F V
F V V V V V V V
F V F V F V F V
F F V V V F V V
F F F V V F V V
(b) Tente e, depois, confira com a professora.
9. Resposta:
Basta observarmos as colunas da tabela verdade do Exercício 8, letra (a).
10. Resposta:
(a) São equivalentes.
Uma das formas de se chegar à esta conclusão seria por tabela verdade.
(b) São equivalentes.
Uma das formas de se chegar à esta conclusão seria por tabela verdade.
11. Resposta:
(a) Falsa.
(b) Verdadeira.
(c) Verdadeira.
12. Resposta:
(a) “Existe um estudante da UFLA que possui mais que 4 horas-aula por dia.”
(b) “Todo estudante da UFLA possui mais que 4 horas-aula por dia.”
(c) “Existe um estudante da UFLA que não possui mais que 4 horas-aula por dia.”
(d) “Todo estudante da UFLA possui no máximo 4 horas-aula por dia.”
13. Resposta:
(a) V.
(b) V.
(c) V.
(d) F.
14. Resposta:
Definindo p(x): “x fará estágio no Google” e q(x): “x fará estágio na IBM”, temos:
“Algum estudante desta sala fará estágio no Google” equivalente à ∃xp(x) e “Todo estu-
dante desta sala fará estágio no Google ou na IBM” equivalente à ∀x(p(x) ∨ q(x)).
15. Resposta:
(a) ∃x(P (x) ∧ Q(x)).
(b) ∃x(P (x) ∧ ¬Q(x)).
(c) ∀x(P (x) ⊕ Q(x)).
(d) ∀x(¬P (x) ∧ ¬Q(x)).
16. Tente e, depois, confira com a professora.
17. Tente e, depois, confira com a professora.
Referências
Rosen, K. H. (2009). Matemática discreta e suas aplicações. São Paulo: McGraw-Hil,

6ed.

Lista1_GEX252_Gabarito

Enviado por

Direitos autorais:

Formatos disponíveis

Lista1_GEX252_Gabarito

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

Lista1_GEX252_Gabarito

Enviado por

Direitos autorais:

Formatos disponíveis

Universidade Federal de Lavras

Departamento de Ciências Exatas

Professora: Andreza C. Beezão Moreira.

Sugestão de exercícios – Noções de lógica

1. Qual é a negação de cada uma das proposições abaixo?

(a) Marisa tem um tablet.

2. Considere as proposições p, q e r apresentadas abaixo:

p: Você está gripado.

3. Determine se cada uma das condicionais abaixo é V ou F.

(a) Se 1 + 1 = 3, então unicórnios existem.

4. Escreva as proposições abaixo no formato “p se e somente se q”, em frases por extenso.

5. Considere as proposições p : “A casa é azul”, q : “A casa tem 30 anos”e r : “A casa é feia”.

(a) Se a casa tem 30 anos, então ela é feia.

6. Construa a tabela verdade das seguintes proposições:

7. Considere as seguintes definições, a respeito de p → q:

(a) Se chove, então eu irei ao trabalho de carro.

8. Através de tabela verdade, mostre que:

9. Apresente uma justificativa do porquê (p → r) ∧ (q → r) e (p ∨ q) → r são logicamente

(a) Sentença 1: ¬(p ∧ q); Sentença 2: ¬p ∨ ¬q.

(a) Marisa não tem um tablet.

(a) Se você estiver gripado, então você faltará ao exame.

(a) Tabela Verdade:

Rosen, K. H. (2009). Matemática discreta e suas aplicações. São Paulo: McGraw-Hil,

Você também pode gostar