Exercicios de lógica matemática

[pic 1]

CURSO: Ciência da Computação e Redes                               Disciplina: Logica e matemática           Computacional

Profª  Ms. Elisangela P. Zigart Perez                 Período Letivo: 2° sem/2015              Série:1º/2º           ___/___/15  

Lista   1

1. (CONSULPAN– 2014) A negação de “hoje é domingo e amanhã não choverá” é:

1. hoje não é domingo e amanhã não choverá
2. hoje não é domingo ou amanhã choverá
3. hoje não é domingo então amanhã choverá
4. hoje não é domingo nem amanhã choverá

1. Considere as proposições:

[pic 2]

Pode-se dizer que os valores dessas proposições são respectivamente:

1. V V V
2. V F V
3. V V F
4. F V F
5. F F V

1. (ENADE -2012) Dizer que não é verdade que Pedro é pobre e Alberto é alto, é logicamente equivalente a dizer que é verdade

a) Pedro não é pobre ou Alberto não é alto. 

b) Pedro não é pobre e Alberto não é alto. 

c) Pedro é pobre ou Alberto não é alto.

d) se Pedro não é pobre, então Alberto é alto. 
e) se Pedro não é pobre, então Alberto não é alto. 

1. Determine a negação da proposição “Lívia é estudiosa e Marcos decora”.

1. Lívia é estudiosa ou Marcos decora
2. Lívia não é estudiosa e Marcos decora.

1. Lívia não é estudiosa ou Marcos decora.
2. Lívia não é estudiosa ou Marcos não decora.
3. Marcos não decora e Lívia é estudiosa.

5)  Construa a tabela verdade das seguintes proposições.

[pic 3]

[pic 4]

[pic 5]

6) Sejam as proposições:

• p: Thales é honesto

• q: Thales é trabalhador

 Entre as alternativas abaixo, em linguagem simbólica, aquela que representa a proposição “ Não é verdade que Thales é desonesto ou é trabalhador,” é:

a) ~ p ∨ ~ q

b) ~ ( ~ p ∨ ~ q )

 c) ~ ( ~ p ∨ q )

d) ~ p ∧ ~ q

e) ~ p ∧ q