Curso: Licenciatura em Matemática

Disciplina: Lógica e Conjuntos

Professor Formador: Gêvane Cunha

Lista 2º. Encontro Presencial – Semestre 2010.1

1ª. Questão: Escreva usando a notação de conjuntos:

a) a não é um elemento de A b) b pertence a A e a B mas não pertence a C
c) T inclui a interseção de R e S d) A não é um superconjunto de B
e) U não é um subconjunto de V f) O conjunto de potência de S

2ª. Questão: Seja E = {{0}}. Indique se cada um das proposições abaixo é verdadeira (V) ou falsa (F):
a) {0} ∈ E b) ∅ ∈ E c) {0} ⊂ E d) 0 ∈ E e) 0 ⊂ E

3ª. Questão: Sejam A = {2, 3, 4}, B = { x ∈ ℤ | x2 = 4}, C = { x ∈ ℕ | x2 – 6x + 8 = 0} e D = { x ∈ ℕ | x é

par}. Complete com ⊂, ⊃ ou nc (não comparável):
a) A __ B b) A __ C c) A __ D d) B __ C
e) B __ D f) C __ D g) A __ B ∩ C h) A __ B ∪ C

4ª. Questão: Prove que:

i) A ∩ B ⊂ A
ii) A ⊂ A ∪ B

5ª. Questão: Determine:

a) A sabendo que 2A = {∅, {x}, {y}, {x, y}}.
b) ℘ (A) sabendo que A = {∅, 0}.

c) ℘ (℘ (A)) sabendo que A = {x}.

6ª. Questão: Determine:

a) Todos os subconjuntos de B = {0, 1, 2}.
b) Todos os subconjuntos de F = {0, {1, 2}}.
c) 2S para S = {∅}.

7ª. Questão: Qual o conjunto S caracterizado por:

i) 0 ∈ S;
ii) Se n ∈ S, então (n – 3) ∈ S.

8ª. Questão: Mostre que as proposições P e Q são logicamente equivalentes se, e somente se, P implica Q
e Q implica P.
9ª. Questão: Obtenha proposições logicamente equivalentes a:
a) ~ ( p ∧ ~ q )

b) ~ ( p ∨ ~ q )

c) ~ (~ p ∧ ~ q )

d) ~ (~ p ∨ ~ q )

10ª. Questão: Use tabelas-verdade para provar as seguintes implicações:

a) Regra de adição: p ⇒ p ∨ q
b) Regra de simplificação: p ∧ q ⇒ p

c) Regra do silogismo disjuntivo: ( p ∨ q ) ∧ ~ p ⇒ q

d) Regra do Modus Ponens: ( p → q ) ∧ p ⇒ q

11ª. Questão: Use tabelas-verdade para provar as seguintes equivalências:

a) Redução ao absurdo: p → q ⇔ ( p ∧ ~ q ) → ~ p

b) Negação da condicional: ~ ( p → q ) ⇔ p ∧ ~ q

c) Negação da bicondicional: ~ ( p ↔ q ) ⇔ ( p ∧ ~ q ) ∨ (~ p ∧ q )

12ª. Questão: Mostre que:

a) p ↔ q implica p → q
b) p ↔ ~ q não implica p → q

13ª. Questão: Prove as leis de De Morgan apresentadas no Teorema 3 da aula 5.

14ª. Questão: A negação disjunta de duas proposições p e q é a proposição “não p ou não q” ou,
simbolicamente, ~ p ∨ ~ q . Ela é denotada também por p ↑ q . Portanto, temos a equivalência

~ p∨ ~ q ⇔ p ↑ q
Demonstre que:
a) ~ p ⇔ p ↑ p

b) p ∨ q ⇔ ( p ↑ p ) ↑ ( q ↑ q )

c) p ∧ q ⇔ ( p ↑ q ) ↑ ( p ↑ q )

15ª. Questão: Determine o conjunto-verdade das seguintes sentenças abertas em A = { − 9, − 4, − 1, 0, 1,

4, 9, 16}:

a) x < 10 .
3

b) x + 5 ∈ A .
c) 2 ≤ | x + 1| ≤ 7 .
d) x é divisor de 32.
e) x é múltiplo de 4.
16ª. Questão: Determine o conjunto-verdade da sentença aberta 4 ≤ x + y ≤ 9 em:
2 2

a) ℕ × ℕ .
b) ℤ × ℤ .

17ª. Questão: Determine o conjunto-verdade em A = { − 5, − 4, − 3, − 2, − 1, 0, 1, 2, 3} de cada uma das

sentenças abertas compostas e indique se exprimem uma condição universal, possível ou impossível:

a) x é par ∧ x | 9 .
2

b) 2 x ∈ A ↔ x − 10 x + 9 = 0 .
4 2

c) 1 < | x | < 4 → x é primo.

18ª. Questão: Sendo A = {1, 2, 3, 4, 5, 6}, determinar o valor lógico (V ou F) de cada uma das
proposições:
a) (∃x ∈ A) (x + 3 = 10)
b) (∃x ∈ A) (x + 3 < 7)
c) (∀x ∈ A) (x + 3 < 10)
d) (∀x ∈ A) (x + 3 ≤ 7)

19ª. Questão: Dê a negação das proposições do Exercício 4.

20ª. Questão: Determine:

a) o valor lógico (V ou F) da proposição (∃ x ∈ ℕ )( x < x) .

2

b) a negação da proposição (∃ x ∈ ℝ )( x < x) .

2

c) caso existam, três contra-exemplos para a proposição obtida no item (b).

21ª. Questão: (Alencar Filho, 2002, p. 183) Sendo ℝ o conjunto dos números reais, determinar o valor
lógico (V ou F) de cada uma das seguintes proposições:
a) (∀ x ∈ ℝ ) ( | x | = x) b) (∃ x ∈ ℝ ) ( x = x)
2

c) (∃ x ∈ ℝ ) ( | x | = 0) d) (∃ x ∈ ℝ ) ( x + 2 = x)

e) (∀ x ∈ ℝ ) ( x + 1 > x) f) (∀ x ∈ ℝ ) ( x = x)
2

22ª. Questão: Considerando as sentenças abertas

p ( x) : x |12 e q( x) : x2 − 5 x + 6 = 0
em A = { − 1, 0, 1, 2, 3, 4, 5}, determine:
a) o conjunto-verdade de p ( x) → ~ q ( x) .

b) o valor lógico (V ou F) da proposição (∀ x)( p ( x)) ∧ (∃ x)( q ( x)) .

c) a negação da proposição do item (b), substituindo as sentenças p(x) e q(x) por suas expressões.

Bom Trabalho!
“O temor do Senhor é o princípio da sabedoria.” (Provérbios 1:7)