P. 1
1a lista de exercícios de Lógica Matemática

1a lista de exercícios de Lógica Matemática

4.2

|Views: 17.501|Likes:
Publicado portenentblueberry
1a lista de exercícios de Lógica Matemática que usei quando lecionei essa disciplina, na faculdade. Essa eu sei que não tem gabarito. Espero que seja útil.
1a lista de exercícios de Lógica Matemática que usei quando lecionei essa disciplina, na faculdade. Essa eu sei que não tem gabarito. Espero que seja útil.

More info:

Published by: tenentblueberry on Feb 20, 2009
Direitos Autorais:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF or read online from Scribd
See more
See less

06/15/2014

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

You're Reading a Free Preview

Descarregar
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->