Conjuntos e Condies Proposta de Resoluo Site: http://recursos-para-matematica.webnode.

pt/

FICHA DE TRABALHO N. 2 MATEMTICA A - 10. ANO

CONJUNTOS E CONDIES
PROPOSTA DE RESOLUO

Conhece a Matemtica e dominars o Mundo.

Galileu Galilei

GRUPO I ITENS DE ESCOLHA MLTIPLA

1. Tem-se que:

2, 3 , 5 e so nmero irracionais. Logo, as proposies p 2 , p 3 , p 5 e p so verdadeiras.

2, 3
2
3 e 4 2 so nmeros racionais. Logo, as proposies p 2 , p 3
2
e p 4 so falsas.
Sabe-se que: a equivalncia entre duas proposies verdadeira se e somente se as duas tiverem o mesmo valor lgico; a implicao entre
duas proposies falsa se e somente se o antecedente for uma proposio verdadeira e o consequente for uma proposio falsa; a conjuno
entre duas condies verdadeira se e somente se ambas forem verdadeiras; a disjuno entre duas proposies falsa se e somente se
ambas forem falsas.

Portanto, as proposies p 2 p 2 , p 2 p 3
2
e ~ p p
3 so falsas e a proposio p 4 p 5
F F
V V F V F V

verdadeira.
Resposta: D

2. Tem-se que:

x2 1 x
p x q x x 1 6 x 2 3 x 3
2 2

x2 1 x2
x 6 x 12 3x 3
2 2 2

1
x 6 x 3x 3 12
2

1 1
x 3x 15 x x5
2 2

Logo, o valores de x que que transformam a condio p x q x numa proposio verdadeira so todos os nmeros reais maiores ou iguais a

1 1
e todos os nmeros reais inferiores a 5. Ou seja, so todos os nmeros reais pertencentes ao intervalo ,5 .
2 2
Resposta: B

3. A proposio p: No existem nmeros reais cujo seu cubo seja 1 pode ser interpretada como p: Qualquer que seja o nmero real, o seu
cubo no igual a 1 . Portanto, simbolicamente, a proposio p pode ser escrita da seguinte forma, p : x , x3 1 .
Resposta: C

Facebook: https://www.facebook.com/recursos.para.matematica Ficha de Trabalho n. 2 Matemtica A 10. Ano Proposta de Resoluo 1

Conjuntos e Condies Proposta de Resoluo Site: http://recursos-para-matematica.webnode.pt/

4. Tem-se que:

~ p: x : ~ x 2 x2 x 2 x : ~ ~ x 2 x2 x 2

x : ~ ~ x 2 ~ x 2 x 2

x : x 2 x 2 x 2
Resposta: A

5. Tem-se que:

4 x 1 3 x
3 8 x 1 18 9 3x 8 x 8 3x 27 5 x 35 x 7 . Logo, A 7, .
3 2

x 10 x 10 x 10 . Logo, B , 10 10, e consequentemente, B 10,10 .

Portanto, A B 7,10 .

Por outro lado, x2 100 x2 108 0 x2 100 0 x2 108 0 x2 100 x2 108 x 100 x 108

x 10 x 108

Logo, as solues da equao x2 100 x2 108 0 so 108 , 10 , 10 e 108 . No entanto, ao conjunto C pertencem apenas as

solues inteiras desta equao, ou seja, 10 e 10. Portanto, C 10,10 .

A B C 7,10 10,10 7,10 10 .

Resposta: B

6. U o conjunto de todos os nmeros naturais inferiores a 36, isto :

U 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35
Assim:

A conjunto de todos os elementos de U cuja raiz quadrada um nmero natural. Esses elementos so 1, 4, 9, 16 e 25.

Logo, A 1,4,9,16,25

B conjunto de todos os elementos de U que so mltiplos de 4. Esses elementos so 4, 8, 12, 16, 20, 24, 28 e 32.

Logo, B 4,8,12,16,20,24,28,32

Portanto:

A B 1,4,9,16,25 4,8,12,16,20,24,28,32 4,16

B \ A 4,8,12,16,20,24,28,32 \ 1,4,9,16,25 8,12,20,24,28,32

Resposta: C

Facebook: https://www.facebook.com/recursos.para.matematica Ficha de Trabalho n. 2 Matemtica A 10. Ano Proposta de Resoluo 2

Conjuntos e Condies Proposta de Resoluo Site: http://recursos-para-matematica.webnode.pt/

7. Tem-se que:

x3 x x4 16 x3 x 0 x 4 16 x x 2 1 0 x 2 x 0 x 2 1 0 x 2

x 0 x2 1 x 2 x 0 x 1 x 2 x 0 x 1 x 2

Logo, as solues da condio x3 x x4 16 so 2 , 1 , 0, 1 e 2. No entanto, ao conjunto A pertencem apenas as solues racionais

no positivas, ou seja, 2 , 1 e 0. Portanto, A 2, 1,0 .
Resposta: D

8. Tem-se que:

2
3x 2 0 3 x 2 x
3

5 5 4 6 6
2
6 2 3
6x 5 6 x2 6 5x 6 x2 5x 6 0 x x x
x x
x0
26 3 2

2 2 2 3
Portanto, a proposio a verdadeira e a proposio a k falsa para todo o k \ ,0 ; as proposies b e b so
3 3 3 2
2 3
verdadeiras e a proposio b k s falsa para todo k \ ,0, .
3 2

Uma condio p x universal num universo U quando se transforma numa proposio verdadeira, sempre que se substitui a varivel x por

elementos de U, isto , a condio p x universal num universo U se e somente se a proposio x U , p x for verdadeira.

Assim:

3 3 3
A A condio a x b x no universal, pois para x a proposio a b falsa.
2 2 2
F V

3 3 3
B A condio b x a x no universal, pois para x a proposio b a falsa.
2 2 2
V F

C A condio ~ b x ~ a x universal, pois:

2 2 2
se x , a proposio ~ b ~ a verdadeira.
3 3 3
F F

3 3 3
se x , a proposio ~ b ~ a verdadeira.
2 2 2
F V

2 3
se x k , com k \ ,0, , as proposies ~ a k e ~ b k so verdadeiras e portanto a proposio ~ b k ~ a k
3 2
verdadeira.

Facebook: https://www.facebook.com/recursos.para.matematica Ficha de Trabalho n. 2 Matemtica A 10. Ano Proposta de Resoluo 3

Conjuntos e Condies Proposta de Resoluo Site: http://recursos-para-matematica.webnode.pt/

Logo, a proposio x \ 0 , ~ b x ~ a x verdadeira e portanto a condio ~ b x ~ a x universal.

D A condio ~ a x b x no universal, pois, por exemplo, para x 1 a proposio ~ a 1 b 1 falsa.

V F

Resposta: C

9. A proposio falsa a da opo C. De facto:

x3 16 x 0 x x2 16 0 x 0 x2 16 0 x 0 x2 16 x 0 x 16 x 0 x 4

Portanto, o conjunto soluo desta equao 4,0,4 . Nenhuma das solues da equao pertente ao conjunto S, pelo que a proposio
x S : x3 16 x 0 , ou seja, no verdade que exista pelo menos um x S tal que x3 16 x 0 .
Resposta: C

GRUPO II ITENS DE RESPOSTA ABERTA

10.

10.1.

A proposio p falsa, pois, por exemplo, se x 0,5 ( 0,5 ) tem-se que 0,5 0,5 , mas 0,5 . Portanto no verdade que para todo
o x se tenha x x x .

A proposio q verdadeira. verdade que existe pelo menos um x tal que x x x . Por exemplo, se x 1 ( 1 ) tem-se que
1 1 e que 1 .

10.2. Tem-se que:

x x x x x x , isto , x diferente de x se e somente se x inferior a x ou se x superior a x.

se x e x , ento, x \

Assim, a proposio ~ p fica:

~ x , x x x x : ~ x x x x : x x x x : x x x x x \

10.3.

A condio a x : x x x universal em , pois a proposio x , x x x verdadeira. Ou seja, verdade que

todos os nmeros inteiros so iguais a si prprios e so nmeros inteiros. Como , ento a proposio a x tambm universal em .

A condio a x : x x x possvel no universal em e em . De facto, por um lado 0,5 e 0,5 e a proposio

a 0,5 : 0,5 0,5 0,5 falsa. Por outro lado 1 e 1 e a proposio a 1 :1 1 1 verdadeira. Ou seja, substituindo
V F V V

a varivel por 0,5 obtm-se uma proposio falsa e substituindo a varivel por 1 obtm-se uma proposio verdadeira.

A condio a x : x x x impossvel em \ , pois a proposio x \ : x x x falsa. Ou seja, no existe

nenhum nmero irracional que seja igual a si prprio e que seja inteiro.

Facebook: https://www.facebook.com/recursos.para.matematica Ficha de Trabalho n. 2 Matemtica A 10. Ano Proposta de Resoluo 4

Conjuntos e Condies Proposta de Resoluo Site: http://recursos-para-matematica.webnode.pt/

11.

11.1. Tem-se que ~ q : ~ n : n2 n mpar n , n 2 n no mpar n , n 2 n par .

Em linguagem corrente, fica, por exemplo: A soma de todo o nmero natural com o seu quadrado um nmero par.

11.2. Seja n um nmero natural. Tem-se que, n2 n n n 1 . Assim:

se n par, ento, n 1 impar e portanto n2 n n n 1 par, pois o produto de um nmero par por um nmero mpar um nmero par.

se n mpar, ento, n 1 par e portanto n2 n n n 1 par.

Logo, para todo o n natural, n2 n par. Portanto, a proposio n : n2 n mpar falsa, pois no existe pelo menos um nmero
natural n tal que n2 n seja mpar.

11.3. J vimos na alnea anterior que a proposio q falsa. Tem-se que:

a proposio p falsa, pois se n 1 , ento, 14 12 2 1 3 3 e 3 um nmero mpar. Portanto falso que para todo o nmero natural n,

n4 n2 2 seja um nmero par.

22 2 2 8
a proposio r verdadeira, pois se n 2 , ento, 1 e 1 . Portanto verdadeiro que existe pelo menos um nmero
26 8
n 2 2n
natural n tal que .
n6

a proposio p falsa, a proposio q falsa e a proposio r verdadeira.

a) As proposies p e q so falsas. Logo, a proposio p q tambm falsa. Assim, a proposio p q r verdadeira, pois a implicao
entre duas proposies falsa se e somente se a proposio antecedente for verdadeira e a proposio consequente for falsa.

b) As proposies p e q so falsas. Logo, a proposio p q verdadeira. Como a proposio r verdadeira, ento, a proposio
p q r verdadeira (a implicao entre duas proposies falsa se e somente se a proposio antecedente for verdadeira e a proposio
consequente for falsa).

c) A proposio p falsa, consequentemente, a proposio ~ p . Logo, a proposio ~ p q verdadeira, pois a disjuno entre duas
proposies falsa se e somente se ambas forem falsas.

Como a proposio r verdadeira e a proposio q falsa, a proposio r q falsa, pois a implicao entre duas proposies falsa se e
somente se a proposio antecedente for verdadeira e a proposio consequente for falsa.

Assim, como a proposio ~ p q verdadeira e a proposio r q falsa, a proposio ~ p q r q falsa, pois a conjuno
entre duas proposio verdadeira se e somente se ambas forem verdadeiras.

d) A equivalncia entre duas proposies verdadeira se e somente se as duas tiverem o mesmo valor lgico. Assim, como a proposio p
falsa e a proposio r verdadeira, a proposio p r falsa.

Facebook: https://www.facebook.com/recursos.para.matematica Ficha de Trabalho n. 2 Matemtica A 10. Ano Proposta de Resoluo 5

Conjuntos e Condies Proposta de Resoluo Site: http://recursos-para-matematica.webnode.pt/

12.

12.1. Tem-se que:

x x 0 x x x 0 (a distncia origem de um nmero real igual a si prprio se e somente se esse nmero no for negativo).

Logo, A 0, .

2x 1 3 2x 4 x 2 . Logo B 0,2 , pois se x A ento x 0 .

~ 3x 1 2 3x 1 2 3x 3 x 1 . Assim:

~ 3x 1 2 8 2 x 1 0 x 1 8 2 x 2 0 x 1 2 x 6 x 1 x 3

Logo, C 1,3 .

a) B C 0,2 1,3 1,2

b) Tem-se que C \ B 1,3 \ 0,2 2,3 e que A ,0 . Assim, C \ B A 2,3 ,0 ,0 2,3 .

c) Tem-se que B C 0,2 1,3 0,3 . Logo, B C ,0 3, .

Assim, B C A ,0 3, 0, 3, .

12.2.

a) Existe pelo menos um elemento de C cujo seu quadrado igual a si prprio.

b)

Tem-se que A . Logo, se x x A , ou seja, todos os nmeros naturais so elementos de A. Portanto, a proposio p verdadeira.

Tem-se que x2 x x2 x 0 x x 1 0 x 0 x 1 0 x 0 x 1 , ou seja, os nicos nmeros reais cujo seu

quadrado igual a si prprios so o 0 e o 1. Mas 0 C e 1 C e portanto, no existe pelo menos x C tal que x 2 x . Assim, a proposio
q falsa.

A proposio p q falsa, visto que a proposio p verdadeira e a proposio q falsa. A proposio p ~ q verdadeira, visto que as
proposies p e ~ q tm o mesmo valor lgico, neste caso, so ambas verdadeiras. Assim, p q p ~ q verdadeira, pois a
disjuno de duas proposies falsa se e somente se ambas forem falsas.

c) Tem-se que se x e x A , ento, x \ A.

Assim, a proposio ~ p fica ~ x , x A x : ~ x A x : x A x : x \A.

2x 3 x 2
12.3. Tem-se, x 2 4 x 6 3x 6 2 x 2 x 0 2 x 2 . Logo, o conjunto soluo da condio
3 2
a x 0, 2,2 0,2 . A condio a x possvel no universal em B, pois 0,2 B , mas 0,2 B . Neste caso tem-
se 0,2 B .

Facebook: https://www.facebook.com/recursos.para.matematica Ficha de Trabalho n. 2 Matemtica A 10. Ano Proposta de Resoluo 6

Conjuntos e Condies Proposta de Resoluo Site: http://recursos-para-matematica.webnode.pt/

Outra maneira de verificar que a condio a x possvel no universal:

Por um lado 1 B e a proposio a 1 :1 0 2 1 2 verdadeira. Por outro lado 2 B e a proposio a 2 : 2 0 2 2 2

V V V F

Falsa. Ou seja, substituindo a varivel por 1 obtm-se uma proposio verdadeira e substituindo a varivel por 2 obtm-se uma proposio falsa,
pelo que a condio a x possvel no universal em B.

13.

13.1. Seja n um nmero natural. Tem-se que n2 3n 3 n n 3 3 . Assim:

se n par, ento, n 3 impar e portanto n n 3 par, pois o produto de um nmero par por um nmero mpar um nmero par. Logo,
n2 3n 3 n n 3 3 mpar, pois a soma de um nmero par por um nmero mpar um nmero mpar.

se n mpar, ento, n 3 par e portanto n n 3 par. Logo, n2 3n 3 n n 3 3 mpar.

Logo, para todo o n natural, n2 3n 3 um nmero mpar.

13.2.

a) Pretende-se mostra por contra-recproca que se n2 6n um nmero mpar, ento n um nmero mpar.

A contra-recproca se n no um nmero mpar, ento, n2 6n no um nmero mpar, ou seja, se n um nmero par, ento, n2 6n
um nmero par.

Seja n um nmero par. Ento, n pode ser escrito na forma n 2k , com k . Assim:

n2 6n 2k 6 2k 4k 2 12k 2 2k 2 6k
2

Tem-se que 2k 2 6k um nmero natural, pois k um nmero natural. Portanto, 2 2k 2 6k um nmero par e consequentemente,

n2 6n um nmero par.

Logo, por contra-recproca, est provado que se n2 6n um nmero mpar, ento n um nmero mpar.

b) Seja n . Suponhamos, com vista a um absurdo, que n2 6n um nmero mpar e que n no um nmero mpar, isto , que n um
nmero par.

Ento, n pode ser escrito na forma n 2k , com k . Assim:

n2 6n 2k 6 2k 4k 2 12k 2 2k 2 6k
2

Tem-se que 2k 2 6k um nmero natural, pois k um nmero natural. Portanto, 2 2k 2 6k um nmero par e consequentemente,

n2 6n um nmero par, o que absurdo, pois, por hiptese, n2 6n um nmero mpar.

13.2.

a) Pretende-se mostra por contra-recproca que se n no um mltiplo de 9, ento, n no um mltiplo de 63.

A contra-recproca se n um mltiplo de 63, ento, n um mltiplo de 9.

Facebook: https://www.facebook.com/recursos.para.matematica Ficha de Trabalho n. 2 Matemtica A 10. Ano Proposta de Resoluo 7
Conjuntos e Condies Proposta de Resoluo Site: http://recursos-para-matematica.webnode.pt/

Seja n um mltiplo de 63. Ento, n pode ser escrito na forma n 63k , com k . Assim, n 63k 9 7 k 9 7k .

Tem-se que 7k um nmero natural, pois k um nmero natural. Portanto, 9 7k um mltiplo de 9 e consequentemente, n um mltiplo
de 9.

Logo, por contra-recproca, est provado que se n no um mltiplo de 9, ento, n no um mltiplo de 63.

b) Seja n . Suponhamos, com vista a um absurdo, que n no um mltiplo de 9 e que n um mltiplo de 63.

Ento, n pode ser escrito na forma n 63k , com k . Assim, n 63k 9 7 k 9 7k .

Tem-se que 7k um nmero natural, pois k um nmero natural. Portanto, 9 7k um mltiplo de 9 e consequentemente, n um mltiplo
de 9, o que absurdo, pois, por hiptese, n no um mltiplo de 9.

14.

14.1. Tem-se que:

~ x, p x q x ~ x, ~ p x q x x, ~ ~ p x q x x, ~ ~ p x ~ q x x, p x ~ q x

14.2. Tem-se que:

x, p x q x x, ~ p x q x x, q x ~ p x x, ~ ~ q x ~ p x x, ~ q x ~ p x

15.

15.1. Tem-se que:

n
, n4 n2 n 270 n 4 n , ~ n 4 ~ n4 n2 n 270 n , n 4 n4 n2 n 270

15.2. Vamos usar a contra-recproca da proposio p para provar a sua veracidade. A contra-recproca da proposio p :

n , n 4 n4 n2 n 270

Seja n e n 4 , isto , n 1,2,3,4 . Assim:

se n 1 , ento, n4 n2 n 14 12 1 1 270

se n 2 , ento, n4 n2 n 24 22 2 18 270

se n 3 , ento, n4 n2 n 34 32 3 87 270

se n 4 , ento, n4 n2 n 44 42 4 268 270

Logo, verdade que para todo o natural n menor ou igual a 4 se tem n4 n2 n 270 .

A proposio p : n , n4 n2 n 270 n 4 n , n 4 n4 n2 n 270 verdadeira.

Facebook: https://www.facebook.com/recursos.para.matematica Ficha de Trabalho n. 2 Matemtica A 10. Ano Proposta de Resoluo 8

Conjuntos e Condies Proposta de Resoluo Site: http://recursos-para-matematica.webnode.pt/

15.3. Tem-se que, ~ p : ~ n , n 4 n 2 n 270 n 4 n

: ~ ~ n 4 n 2 n 270 n 4

n
: ~ ~ n4 n2 n 270 ~ n 4

n : n4 n2 n 270 n 4

16.

2
2
16.1. A proposio q falsa. Por exemplo, 2 um nmero irracional e 2 um nmero racional. Assim, a proposio q q

verdadeira, pois o consequente e o antecedente so o mesmo. Consequentemente, a proposio ~ q q falsa. Como a proposio q
falsa, a proposio ~ q q q falsa, pois a disjuno entre duas proposies falsa se e somente se ambas as proposies forem falsas.

16.2. A proposio q: No existem nmeros irracionais cujo quadrado seja um nmero racional pode ser interpretada como q: Qualquer que seja
o nmero irracional, o seu quadrando no um nmero racional. Portanto, simbolicamente, a proposio q pode ser escrita da seguinte forma,
q : x \ , x2 Q .

17.

17.1. Tem-se que:

1 12 4 1 6
x2 x 6 x2 x 6 0 x x 3 x 2 . Logo, o conjunto soluo da condio p x 3,2 .
2 1
Portanto as proposies p 3 e p 2 so verdadeiras e a proposio p k falsa, para qualquer k \ 3,2 .

o conjunto soluo da condio q x 2 . Portanto a proposio q 2 verdadeira e a proposio q k falsa, para qualquer
k \ 2 .

a) Tem-se que:

se x 3 , a proposio p 3 ~ q 3 verdadeira.
V V

se x 2 , a proposio p 2 ~ q 2 verdadeira.
V F

se x k , com k \ 3,2 , a proposio p k ~ q k verdadeira.

F V

Logo, a proposio x , p x ~ q x verdadeira e portanto a condio p x ~ q x universal em .

Outra resoluo: o conjunto soluo da condio p x 3,2 . O conjunto soluo da condio q x 2 , pelo que o conjunto soluo

da condio ~ q x \ 2 . Logo, o conjunto soluo da condio p x ~ q x 3,2 \ 2 . Portanto, a condio

p x ~ q x universal em .

Facebook: https://www.facebook.com/recursos.para.matematica Ficha de Trabalho n. 2 Matemtica A 10. Ano Proposta de Resoluo 9

Conjuntos e Condies Proposta de Resoluo Site: http://recursos-para-matematica.webnode.pt/

b) Tem-se que:

se x 3 , a proposio p 3 q 3 falsa.
V F

se x 2 , a proposio p 2 q 2 verdadeira.
V V

Logo, proposio p x q x possvel no universal em .

c) Tem-se que:

se x 3 , a proposio ~ p 3 q 3 falsa.
F F

se x 2 , a proposio ~ p 2 q 2 falsa.
F V

se x k , com k \ 3,2 , a proposio ~ p k q k falsa.

V F

Logo, a proposio x : ~ p x q x falsa e portanto a condio ~ p x q x impossvel em .

Outra resoluo: o conjunto soluo da condio p x 3,2 , pelo que o conjunto soluo da condio ~ p x \ 3,2 . O

conjunto soluo da condio q x 2 . Logo, o conjunto soluo da condio ~ p x q x \ 3,2 2 . Portanto, a

condio ~ p x q x impossvel em .

d) Tem-se que:

se x 3 , a proposio p 3 q 3 falsa.
V F

se x 2 , a proposio p 2 q 2 verdadeira.
V V

Logo, proposio p x q x possvel no universal em .

e) Tem-se que:

se x 3 , a proposio q 3 ~ p 3 verdadeira.
F F

se x 2 , a proposio q 2 ~ p 2 falsa.
V F

Logo, proposio q x ~ p x possvel no universal em .

Facebook: https://www.facebook.com/recursos.para.matematicaFicha de Trabalho n. 2 Matemtica A 10. Ano Proposta de Resoluo 10

Conjuntos e Condies Proposta de Resoluo Site: http://recursos-para-matematica.webnode.pt/

f) Tem-se que:

se x 3 , a proposio ~ q 3 p 3 verdadeira.
V V

se x 1 , a proposio ~ q 1 p 1 falsa.
V F

Logo, proposio ~ q x p x possvel no universal em .

g) Tem-se que, x , ~ p x ~ q x x , ~ ~ p x ~ q x x , p x ~ q x . J vimos na alnea a) que

esta proposio verdadeira. Portanto, a condio ~ p x ~ q x universal em .

h) Tem-se que:

V

se x 3 , a proposio p 3 q 3 q 3 ~ q 3 falsa.

V F F V
F

V

se x 2 , a proposio p 2 q 2 q 2 ~ q 2 falsa.

V V V F
V

F

se x k , com k \ 3,2 , a proposio p k q k q k ~ q k falsa.

F F F V
F

Logo, a proposio x : p x q x q x ~ q x falsa e portanto a condio p x q x q x ~ q x impossvel

em .

Outra maneira: seja i x uma condio impossvel em . Assim, vem:

p x q x q x p x q x i x q x q x p x i x q x i x q x

Portanto, a condio p x q x q x equivalente condio q x ~ q x . Esta condio impossvel em , visto que uma
condio no pode ser equivalente sua negao.

17.2. Para x , tem-se:

1 12 4 1 6
x2 x 6 x2 x 6 0 x x 3 x 2 x 2
p x
2 1 x
q x

Logo, para todo o x

, tem-se p x q x . Portanto, a proposio x
, p x q x verdadeira.

Facebook: https://www.facebook.com/recursos.para.matematicaFicha de Trabalho n. 2 Matemtica A 10. Ano Proposta de Resoluo 11

Conjuntos e Condies Proposta de Resoluo Site: http://recursos-para-matematica.webnode.pt/

17.3.

a) A proposio x
: p x x
: x2 x 6 verdadeira, pois 3
e 3 3 9 3 6 .
2

b) A proposio x , ~ p x x , x2 x 6 falsa, pois 3 e 3 3 9 3 6 .

2

c) Tem-se que:

se x 2 , a proposio p 2 q 2 verdadeira.
V V

se x k , com k \ 2 , a proposio p k q k verdadeira.

F F

Logo, para todo o x , tem-se p x q x . Portanto, a proposio x , p x q x verdadeira.

d) As duas solues da condio p x so racionais e a soluo da condio q x racional.

Logo, se x k , com k \ , as proposies p k e q k so falsas e portanto a proposio p k q k verdadeira.

Logo, para todo o x \ , tem-se p x q x . Portanto, a proposio x \ , p x q x verdadeira.

17.4. A condio r x impossvel em . Portanto, se x n , com n , a proposio r n falsa e consequentemente, a proposio

~ r n verdadeira. Assim:

a condio ~ r x q x no universal em , pois, por exemplo, se x 3 , a proposio ~ r 3 q 3 falsa;

V F

a condio r x q x no universal em , pois, por exemplo, se x 3 , a proposio r 3 q 3 falsa.

F F

a condio r x p x no universal em , pois, por exemplo, se x 3 , a proposio r 3 p 3 falsa.

F F

A resposta correcta a B.

Facebook: https://www.facebook.com/recursos.para.matematicaFicha de Trabalho n. 2 Matemtica A 10. Ano Proposta de Resoluo 12