Matemtica A 10.

ano

Lgica e teoria de conjuntos

1. Considera as proposies :O Joo gosta de futebol. e :O Joo gosta de basquetebol..

Traduz para linguagem corrente as seguintes proposies:

a) ~
b)
c)
d) ~

2. Escreve a negao das proposies seguintes:

a) Leio um livro ou vejo televiso.

b) Leio um livro e no vejo televiso.

3. Considera as proposies : A Helena pobre. e : A Helena infeliz.. Traduz para

linguagem simblica as expresses seguintes.

a) No verdade que a Helena no pobre.

b) A Helena pobre e feliz.
c) A Helena no pobre ou infeliz.
d) A Helena feliz se e somente se no for rica.

4. Sabe-se que a proposio O professor exigente ou rigoroso. verdadeira.

Indica, justificando, qual das proposies seguintes necessariamente falsa.

a) O professor rigoroso e exigente.

b) O professor no exigente ou no rigorosa.
c) O professor no exigente e no rigoroso.

5. Escreve em linguagem simblica as expresses seguintes.

a) Chove se o cu estiver com nuvens ou estiver nevoeiro.

b) Se no chover, ento o cu no tem nuvens nem est nevoeiro.

6. Seleciona a opo correta.

Seja :O Afonso vegetariano. e :O Afonso come sushi..

A proposio O Afonso no vegetariano e come sushi. equivalente a:

a) ~
b) ~
c)
d) ( )

1/5
 Matemtica A 10. ano

7. Seleciona a opo correta.

Sabe-se que:
Todos os alunos estudam.
Todos os alunos so inteligentes.
O Lus estuda.
O Rui inteligente.

Ento podemos concluir que:

a) O Lus aluno.
b) O Rui estuda.
c) Existe algum inteligente que estuda.
d) Os inteligentes estudam.

8. Demonstra, atravs de uma tabela de verdade que a equivalncia ( ) vlida.

9. Sabendo que uma proposio falsa, simplifica a expresso ( ) e indica o

seu valor lgico.

10. Escreve a negao das proposies seguintes.

a) Todos os animais tm quatro patas.

b) Existe algum carro que no avaria.
c) Todos os telemveis tm cmara e calculadora.

11. Considera os conjuntos = {1, 2, 5, 7}, = {0, 1, 2, 3, 5, 7} e = {2, 5}.

Escreve em extenso os seguintes conjuntos.

a)
b)
c)

12. Classifica cada uma das seguintes expresses em verdadeiras (V) ou falsas (F).

a) = se e somente se .
b) Se , ento .
c) Se , ento .
d) Se , , ento = .

13. Justifica as expresses classificadas como falsas na questo anterior, apresentando um

contraexemplo.

2/5
 Matemtica A 10. ano

14. Numa piscina existe um aviso que diz:

No pode permanecer nesta piscina quem no tiver chinelos, touca ou fato de banho.

Indica o valor lgico das seguintes afirmaes.

a) A Nelma no tem chinelos, logo no pode permanecer na piscina.

b) O Eduardo tem chinelos, logo pode permanecer na piscina.
c) A Francisca no pode permanecer na piscina, logo no tem touca ou chinelos.
d) O Antnio pode permanecer na piscina, logo trouxe chinelos ou touca.

15. Mostra, por contrarrecproco, que se for um nmero par, ento 2 + 2 um nmero par.

3/5
 Matemtica A 10. ano

Lgica e teoria de conjuntos Solues

1.
a) O Joo no gosta de futebol.
b) O Joo gosta de futebol e de basquetebol.
c) Se o Joo gosta de futebol, ento gosta de basquetebol.
d) Se o Joo gosta de basquetebol, ento no gosta de futebol.

2.
a) No leio um livro e no vejo televiso.
b) No leio um livro ou vejo televiso.

3.
a) ~(~)
b) (~ )
c) ~
d) ~ ~(~)

4. c) Uma vez que a proposio O professor exigente ou rigoroso. verdadeira, ento pelo
menos uma das proposies exigente e rigoroso ter de ser verdadeira. Assim,
alguma das proposies no exigente e no rigoroso ser falsa, pelo que a proposio
O professor no exigente e no rigoroso ser necessariamente falsa.

5. Seja :Chove., :O cu tem nuvens. e :Est nevoeiro..

a) ( )
b) ~ (~ ~)

6. d)

7. c)

8.
( )
V V V V
V F V V

F V V F
F F F F

9. ( ) (~ ) ( ~) ~ ~( ) Verdadeira

10.
a) Existe algum animal que no tem quatro patas.
b) Todos os carros avariam.
c) Existe algum telemvel que no tem cmara ou no tem calculadora.

4/5
 Matemtica A 10. ano

11.
a) = {0, 2, 3, 5}
b) = {1, 7}
c) = {0, 3}

12. a) F; b) F; c) V; d) F

13.
a) Se = , ento . verdade. Mas, se , ento = . falso.
Contraexemplo: = {0, 1} e = {0, 1, 2}.

b) Pode existir algum tal que , logo no podemos concluir que .

Contraexemplo: = {1, 2, 3, 4} e = {2, 4, 6}.

d) Como qualquer no pertence a , ento no existe nenhum elemento comum a e

a . Logo, = .
Contraexemplo: = { } e = { }.

14. a) V ; b) F ; c) F ; d) V

15. Implicao contrarrecproca: se 2 + 2 um nmero mpar, ento um nmero mpar.

2 + 2 = ( + 2)

( + 2) um nmero mpar se e somente se e + 2 forem ambos mpares.

Sabemos que se for mpar ento + 2 tambm mpar.
Assim conclumos que um nmero mpar, o que demonstra a implicao contrarrecproca.

Logo, fica demonstrado que se for um nmero par, ento 2 + 2 um nmero par.

5/5