Lista de exerc´ ıcios 1 - conectivos e leis da l´gica o

Prof. Ricardo J. Pinheiro 27-08-2008
UniverCidade - Unidade Bonsucesso - Tecnologia em Sistemas de Informa¸˜o - L´gica ca o Matem´tica a

3

Escreva literalmente as seguintes proposi¸˜es co matem´ticas. a
x2 ≤ 0 sen α2 = 1 − cos α2 √ | x=4

1

Quais das frases abaixo s˜o a proposi¸˜es? co

1. ∀x ∈ Z, 2. ∀α ∈ , 3. ∃x ∈ 4. ∃x ∈

1. A lua ´ feita de queijo. e 2. Ele ´ com certeza um homem de baixa estatura. e 3. Dois ´ um n´mero primo. e u 4. Quando acaba esse jogo? 5. Os juros v˜o descer no pr´ximo ano. a o 6. x2 − 4 = 0 7. Fa¸a as malas. c 8. A paciˆncia ´ uma virtude. e e 9. Para todo mal h´ uma cura. a 10. Todo mundo tem um segredo. 11. N˜o fume! a 12. Quantos anos vocˆ tem? e 13. Quanto custa esta mesa? 14. Cenouras s˜o saud´veis. a a

| sen x =

3 2 p q

5. ∀x ∈ Q, ∃p, q ∈ Z | x = 6. ∃x ∈ Q | x2 =
9 25

7. ∀x ∈ Z, ∃b, q, r ∈ Z | x = b.q + r 8. ∃x ∈ | cos x = 1

4

Dados os valores l´gicos abaixo, o qual o valor l´gico das f´rmulas o o bem formuladas (fbf ) a seguir?
• A ´ verdadeira. e • B ´ falsa. e • C ´ verdadeira. e

1. (A ∧ B) ∨ C 2. (A ∧ B) ∨ C 3. A ∧ (B ∧ C) 4. A ∧ (B ∨ C) 5. A ∨ (B ∧ C)

2

Construa a nega¸˜o ca das seguintes proposi¸oes abaixo. c˜

1. A pera ´ uma fruta. e 2. Algumas ´peras s˜o longas. o a 3. Todos gostam de dan¸ar. c 4. Algumas pessoas n˜o tem televis˜o. a a 5. O dinheiro traz felicidade. 6. Nenhum amor ´ fraco. e 1

5

Qual o valor l´gico o proposi¸˜es a seguir? co

das

1. 8 ´ par ou 6 ´ ´ e e ımpar. 2. 8 ´ par e 6 ´ ´ e e ımpar. 3. 8 ´ ´ e ımpar ou 6 ´ ´ e ımpar.

4. 8 e 6 s˜o ´ a ımpares. 5. Se 8 ´ ´ e ımpar, ent˜o 6 tamb´m ´. a e e 6. Se 8 for par, ent˜o 6 ´ ´ a e ımpar. 7. Se 8 for ´ ımpar, ent˜o 6 ´ par. a e 8. Se 8 for ´ ımpar e 6 for par, ent˜o 8 < 6. a

4. Rosas s˜o vermelhas apenas se violetas n˜o forem a a azuis ou se a¸ucar for amargo. c´ 5. Rosas s˜o vermelhas e, se a¸ucar for amargo, ent˜o a c´ a ou violetas n˜o s˜o azuis ou a¸ucar ´ doce. a a c´ e

8

6

Escreva a nega¸˜o de cada fbf a ca seguir:

Use as mesmas proposi¸˜es do co exerc´ ıcio anterior para escrever as proposi¸˜es compostas em co portuguˆs: e

1. A resposta ´ 2 ou 3. e 2. Pepinos s˜o verdes e tem sementes. a 3. 2 < 7 e 3 ´ ´ e ımpar. 4. Se a comida ´ boa, ent˜o o servi¸o ´ excelente. e a c e 5. Ou a comida ´ boa, ou o servi¸o ´ excelente. e c e 6. Nem a comida ´ boa, nem o servi¸o ´ excelente. e c e 7. Se o pre¸o ´ caro, ent˜o a comida ´ boa e o servi¸o c e a e c ´ excelente. e 8. O processador ´ r´pido, mas a impressora ´ lenta. e a e 9. O processador ´ r´pido ou a impressora ´ lenta. e a e 10. Se o processador ´ r´pido, ent˜o a impressora ´ e a a e lenta. 11. Ou o processador ´ r´pido e a impressora ´ lenta, ou e a e ent˜o o arquivo est´ corrompido. a a 12. Se o arquivo est´ ´ a ıntegro e o processador ´ r´pido, e a ent˜o a impressora ´ lenta. a e 13. A impressora s´ ´ lenta se o arquivo estiver danifioe cado.

1. B ∨ C 2. B ∨ (A → C) 3. (C ∧ A ) ↔ B 4. C ∧ (A ↔ B) 5. (B ∧ C ) → A 6. A ∨ (B ∧ C ) 7. (A ∨ B) ∧ C

9

Construa a tabela verdade de cada uma das fbfs abaixo:

1. p ∨ q 2. p ∧ (q ∨ r) 3. p ∨ (q ∧ r) 4. p ∨ q 5. p ∨ q 6. p ∧ q 7. (p ∧ q)

7

Temos trˆs proposi¸˜es abaixo. e co Escreva as proposi¸oes comc˜ postas em nota¸˜o simb´lica: ca o

8. (p ∨ q ) ∧ p 9. p ∧ (q ∨ q ) 10. (p ∧ q ) ∨ r 11. (p ∨ q) ∧ r 12. (p → q) ↔ p ∨ q 13. (p ∧ q) ∨ r → p ∧ (q ∨ r) 14. p ∧ (p ∨ q ) 15. p ∧ q → p 16. (p → q) → [(p ∨ r) → (q ∨ r)] 17. p → (q → p) 2

A Rosas s˜o vermelhas. a B Violetas s˜o azuis. a C A¸ucar ´ doce. c´ e 1. Rosas s˜o vermelhas e violetas s˜o azuis. a a 2. Rosas s˜o vermelhas e, ou bem violetas s˜o azuis, a a ou bem a¸ucar ´ doce. c´ e 3. Sempre que violetas s˜o azuis, rosas s˜o vermelhas a a e a¸ucar ´ doce. c´ e

18. p ∧ q ↔ q ∨ p 19. (p ∨ q ) ∧ (p ∧ q) 20. [(p ∨ q) ∧ r ] → p ∨ r

10

Construa a tabela verdade de cada uma das fbfs abaixo. Verifique se s˜o tautologias: a

1. (p ∧ p ) 2. ((p → q) ∧ p) → q 3. p → (p ∧ q) 4. (p ∨ q) ↔ p ∧ q 5. p ∨ p 6. (p ) ↔ p 7. p ∧ q → q 8. p → p ∨ q 9. p ∨ p ↔ p 10. [q ∧ (p → q)] → p 11. [(p → q) ∧ p] → q 12. (p ∨ q) ∧ p → q 13. (p ∧ q) ∧ q → p

11

Prove se as proposi¸˜es abaixo co s˜o tautologias: a

1. p → q ≡ p ∨ q 2. (p ∧ q ) ∧ r ↔ (p ∧ r) ∧ q 3. (p ∨ q) ∧ (p ∨ q ) ↔ p 4. p ∨ (q ∧ p ) ↔ p ∨ q 5. (p ∧ q ) ∨ q ↔ p ∨ q 6. p ∧ (p ∧ q ) ↔ p ∧ q

3

Sign up to vote on this title
UsefulNot useful