Universidade Teconógica Federal do Paraná - Cornélio Procópio

Departamento Acadêmico de Matemática - DAMAT

Profa. Larissa Ferreira Marques
Engenharia de Software - ES11- Aluno:

1a Avaliação de Matemática Discreta - ES31B

1. Dadas as proposições simples p, q e r, e os conjuntos A, B e C. Utilize a lógica proposi-

cional para mostrar que:

(a) (1.0) a proposição composta (p ∧ (p → q)) ∧ (p → ∼ q) é uma contradição.

(b) (1.0) (p → q) ∧ (p → r) ⇔ (p → (q ∧ r)).
(c) (0.75) A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C).
(d) (0.75) (A ∩ B)⊂ = A⊂ ∪ B ⊂ .

2. Utilize a teoria de conjuntos para responder os itens abaixo:

(a) (0.75) Seja ℘(A) = {∅, {x} , {x, y} , {x, {x, y}}} o conjunto das partes do conjunto A,
determine A.
(b) (1.0) Dados os conjuntos U = {1, 2, 3, 4, 5}, T = {0, 1, 2, 3, 4, 5, 6, 8}, F = {2, 4, 5, 7}
e R = T − (U ∩ F ). É possível determinar o complementar do conjunto R com relação
ao conjunto T , ou seja,
P = {R T?

Por quê? Caso isso seja possível, explicite o conjunto P .

3. Dados os conjuntos A = {x ∈ Z; −2 ≤ x ≤ 2} e B = {y ∈ Z; −2 ≤ y ≤ 2}. Sejam R

e S relações binárias de A em B, definidas respectivamente por x R y ⇔ 2|(x − y) e
x S y ⇔ (x − 1)2 = (y − 2)2 . Determine:

(a) (0.5) o conjunto A × B (produto cartesiano de A por B).

(b) (0.75) o conjunto que define a relação binária R.
(c) (0.75) o conjunto que define a relação binária S.

4. Sejam f : R −→ R e g : R −→ R duas funções reais, definidas por f (x) = 2x2 +1, e g(x) =
3x − 2. Responda os itens abaixo justificando sua resposta:

(a) (0.75) A função f é uma bijeção de R em R? (sim ou não, não será considerado).
(b) (1.0) Determine as funções compostas h1 : R −→ R e h2 : R −→ R, definidas por
h1 = f ◦ g = f (g(x)) e h2 = g ◦ f = g(f (x)).

5. (1.0) Um grupo de engenheiros está planejando encomendar pizzas. Se 26 deles comem

pizza de calabresa, 20 comem de salame, 24 comem de queijo extra, 8 comem tanto
calabresa quanto salame, 10 comem tanto de salame quanto de queijo extra, 14 comem
tanto de calabresa quanto de queijo extra e 6 comem qualquer sabor, quantos engenheiros
há no grupo?

“O único homem que está isento de erros é aquele que não arrisca acertar.”(Albert Einstein)
Boa Prova!