Você está na página 1de 3

Lista de exercı́cios 1 - conectivos e leis da lógica

Prof. Ricardo J. Pinheiro


27-08-2008

UniverCidade - Unidade Bonsucesso - Tec- 3 Escreva literalmente as


nologia em Sistemas de Informação - Lógica
Matemática
seguintes proposições
matemáticas.
1 Quais das frases abaixo são 1. ∀x ∈ Z, x2 ≤ 0
proposições? 2. ∀α ∈ <, sen α2 = 1 − cos α2

1. A lua é feita de queijo. 3. ∃x ∈ < | x = 4

2. Ele é com certeza um homem de baixa estatura. 3
4. ∃x ∈ < | sen x = 2
p
3. Dois é um número primo. 5. ∀x ∈ Q, ∃p, q ∈ Z | x = q

9
4. Quando acaba esse jogo? 6. ∃x ∈ Q | x2 = 25

5. Os juros vão descer no próximo ano. 7. ∀x ∈ Z, ∃b, q, r ∈ Z | x = b.q + r

6. x2 − 4 = 0 8. ∃x ∈ < | cos x = 1

7. Faça as malas.
4 Dados os valores lógicos abaixo,
8. A paciência é uma virtude.
qual o valor lógico das fórmulas
9. Para todo mal há uma cura.
bem formuladas (fbf ) a seguir?
10. Todo mundo tem um segredo.
• A é verdadeira.
11. Não fume!
• B é falsa.
12. Quantos anos você tem?
• C é verdadeira.
13. Quanto custa esta mesa?
1. (A ∧ B)0 ∨ C
14. Cenouras são saudáveis.
2. (A ∧ B) ∨ C

3. A ∧ (B ∧ C)0
2 Construa a negação das
4. A ∧ (B ∨ C)
seguintes proposições abaixo.
5. A0 ∨ (B 0 ∧ C)0
1. A pera é uma fruta.

2. Algumas óperas são longas. 5 Qual o valor lógico das


3. Todos gostam de dançar. proposições a seguir?
4. Algumas pessoas não tem televisão. 1. 8 é par ou 6 é ı́mpar.
5. O dinheiro traz felicidade. 2. 8 é par e 6 é ı́mpar.

6. Nenhum amor é fraco. 3. 8 é ı́mpar ou 6 é ı́mpar.

1
4. 8 e 6 são ı́mpares. 4. Rosas são vermelhas apenas se violetas não forem
azuis ou se açúcar for amargo.
5. Se 8 é ı́mpar, então 6 também é.
5. Rosas são vermelhas e, se açúcar for amargo, então
6. Se 8 for par, então 6 é ı́mpar. ou violetas não são azuis ou açúcar é doce.
7. Se 8 for ı́mpar, então 6 é par.

8. Se 8 for ı́mpar e 6 for par, então 8 < 6. 8 Use as mesmas proposições do


exercı́cio anterior para escrever
6 Escreva a negação de cada fbf a as proposições compostas em
seguir: português:
1. A resposta é 2 ou 3. 1. B ∨ C 0
2. Pepinos são verdes e tem sementes. 2. B 0 ∨ (A → C)
3. 2 < 7 e 3 é ı́mpar. 3. (C ∧ A0 ) ↔ B
4. Se a comida é boa, então o serviço é excelente. 4. C ∧ (A0 ↔ B)
5. Ou a comida é boa, ou o serviço é excelente. 5. (B ∧ C 0 )0 → A
6. Nem a comida é boa, nem o serviço é excelente. 6. A ∨ (B ∧ C 0 )
7. Se o preço é caro, então a comida é boa e o serviço 7. (A ∨ B) ∧ C 0
é excelente.

8. O processador é rápido, mas a impressora é lenta. 9 Construa a tabela verdade de


9. O processador é rápido ou a impressora é lenta. cada uma das fbfs abaixo:
10. Se o processador é rápido, então a impressora é 1. p0 ∨ q 0
lenta.
2. p ∧ (q ∨ r)
11. Ou o processador é rápido e a impressora é lenta, ou
então o arquivo está corrompido. 3. p ∨ (q ∧ r)

12. Se o arquivo está ı́ntegro e o processador é rápido, 4. p ∨ q 0


então a impressora é lenta.
5. p0 ∨ q 0
13. A impressora só é lenta se o arquivo estiver danifi-
cado. 6. p0 ∧ q 0

7. (p0 ∧ q)0
7 Temos três proposições abaixo. 8. (p ∨ q 0 ) ∧ p0
Escreva as proposições com- 9. p ∧ (q ∨ q 0 )
postas em notação simbólica: 10. (p ∧ q 0 ) ∨ r
A Rosas são vermelhas.
11. (p0 ∨ q) ∧ r0
B Violetas são azuis.
12. (p → q) ↔ p0 ∨ q
C Açúcar é doce.
13. (p ∧ q) ∨ r → p ∧ (q ∨ r)
1. Rosas são vermelhas e violetas são azuis. 14. p ∧ (p0 ∨ q 0 )
2. Rosas são vermelhas e, ou bem violetas são azuis, 15. p ∧ q → p0
ou bem açúcar é doce.
16. (p → q) → [(p ∨ r) → (q ∨ r)]
3. Sempre que violetas são azuis, rosas são vermelhas
e açúcar é doce. 17. p → (q → p)

2
18. p ∧ q ↔ q 0 ∨ p0
19. (p ∨ q 0 ) ∧ (p ∧ q)0
20. [(p ∨ q) ∧ r0 ] → p0 ∨ r

10 Construa a tabela verdade de


cada uma das fbfs abaixo. Ver-
ifique se são tautologias:
1. (p ∧ p0 )0

2. ((p → q) ∧ p) → q
3. p → (p ∧ q)
4. (p ∨ q)0 ↔ p0 ∧ q 0

5. p ∨ p0
6. (p0 )0 ↔ p
7. p ∧ q → q
8. p → p ∨ q

9. p ∨ p ↔ p
10. [q ∧ (p → q)] → p0
11. [(p → q) ∧ p] → q
12. (p ∨ q) ∧ p0 → q

13. (p ∧ q) ∧ q 0 → p

11 Prove se as proposições abaixo


são tautologias:
1. p → q ≡ p0 ∨ q

2. (p ∧ q 0 ) ∧ r ↔ (p ∧ r) ∧ q 0
3. (p ∨ q) ∧ (p ∨ q 0 ) ↔ p
4. p ∨ (q ∧ p0 ) ↔ p ∨ q
5. (p ∧ q 0 )0 ∨ q ↔ p0 ∨ q

6. p ∧ (p ∧ q 0 )0 ↔ p ∧ q