Matemática Discreta

Lista 2
Professor: Jemy Alex Mandujano Valle.
E-mail: jemy.mandujano@uft.edu.br

Data de entrega: 30 de Agosto, 2023.

Observação: Entregar o trabalho no AVA

Exercı́cio 1 No domı́nio todos os alunos da UFT, seja P (x) o predicado “x é flamenguista”.

Traduza as seguintes sentenças quantificadas para o português cotidiano.

(a) (∀x)P (x)

(b) (∃x)P (x)
(c) ¬(∃x)P (x)
(d) (∃x)¬P (x)

Exercı́cio 2 No domı́nio de todos os gatos de Palmas, seja P (x) o predicado “x é preto”.

Escreva as sentenças seguintes usando sı́mbolos de lógica de predicados :

(a) Alguns gatos são pretos.

(b) Alguns gatos não são pretos.
(c) Nenhum gato é preto.
(d) Todos os gatos são pretos.

Exercı́cio 3 Suponha que o domı́nio seja o conjunto dos números R. Então, determine o
valor-verdade (V ou F ) de cada uma das seguintes proposições:

(a) (∀x ∈ R)(|x| = x) (f) (∀x ∈ R)(x2 = x)

(b) (∃x ∈ R)(x2 = x) (g) (∃x ∈ R)(2x = x)
(c) (∃x ∈ R)(|x| = 0) (h) (∃x ∈ R)(x2 + 3x = −2)
(d) (∃x ∈ R)(x + 2 = x) (i) (∃x ∈ R)(x2 + 5 = 2x)
(e) (∀x ∈ R)(x + 1 > x) (j) (∃x ∈ R)(2x + 5x = 7x)

Exercı́cio 4 Negue cada uma das seguintes proposições.

1
(a) (∀n ∈ N)(n < 1) (e) (∀n ∈ N)(n + 1 > n)
(b) (∃n ∈ N)(n < 1) (f) (∃n ∈ N)(n + 1 > n)
(c) (∀n ∈ N)(n! < 10) (g) (∀n ∈ N)(2n é par)
(d) (∃n ∈ N)(n! < 10) (g) (∃x ∈ N)(2n é par)