Академический Документы
Профессиональный Документы
Культура Документы
9
4. Quando acaba esse jogo? 6. ∃x ∈ Q | x2 = 25
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.
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.
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
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
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