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)
b)

Leio um livro ou vejo televiso.

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)
b)
c)
d)

No verdade que a Helena no pobre.

A Helena pobre e feliz.
A Helena no pobre ou infeliz.
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)
b)
c)
d)

O Lus aluno.
O Rui estuda.
Existe algum inteligente que estuda.
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)
b)
c)
d)

= se e somente se .
Se , ento .
Se , ento .
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 um nmero par.

3/5

Matemtica A
Lgica e teoria de conjuntos

10. ano
Solues

1.
a)
b)
c)
d)

O Joo no gosta de futebol.

O Joo gosta de futebol e de basquetebol.
Se o Joo gosta de futebol, ento gosta de basquetebol.
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.

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 um nmero mpar, ento um nmero mpar.

+ 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 um nmero par.

5/5