1

Lgica e teoria dos conjuntos

1.1. Introduo lgica bivalente

5.1.
Pg. 10

Atividade de diagnstico
1
1.1.

1.2.
2
1.4.
1.7.
2.1.

2.2.

2.3.

2
2 +

2,5

1.3.

1.5.

1.6.

1.8.

0 +0

x 1
=5
( 3)
3
3 x + 1 = 15
x = 15 4
x = 11
S = {11}

Condio impossvel
x2 0 x = 0
S = {0} . Condio possvel

5.7.

(4)

5.8.

x 3 < 5 x 3 < 5 x 3 > 5

x 3 0 x 3 = 0 x = 3

Pg. 11
6.1.

(1)

x 2 =0 x = 2
Equao impossvel em , em e em

( 3)

Condio universal
x 0 x=0

S = {3} . Condio possvel

A B = ] , 2 ]

6.2. Pela questo 6.1.: A B = ] , 0]

6.3.

A C = {2}

6.4.

C D = [ 2 , 5[

6.5.

( A B ) D = ] , 5[
6.6.

+x
= 0 3 + x = 0 x = 3
2
Equao possvel determinada em e e impossvel em

A ( B C ) = ] , 0] {2}

7.1.

x = 5 x = 5 x = 5

x 1
x 1
>1
>0
3
3
x + 1 > 0 x > 1 x < 1
S = ] , 1[

x 1 = 5 x 1 = 5 x 1 = 5 x = 6 x = 4

2x 1 = 0 2x 1 = 0 x =
1
S=
2

1
x<0 x>0
2
S = ]0 , + [

7.2. 1

S = {4 , 6}

4.3.

x 0 x

x < 8 x > 2
S = ]2 , 8[ . Condio possvel

x 1
2 ( x + 1) = 0
( 3)
3
9 x +1 6x 6 = 0
x 6x = 6 1 9
7 x = 4
4
x=
7
4
S=
7
x 1 3x 2 1
1

=
(12)
2
3
12
3

( 3)

S = {5 , 5}

4.2.

5.4.

S = {0} . Condio possvel

4.1.

x 2 < 0 x

5.6.

12 6 x + 6 12 x + 8 = 1
6 x 12 x = 1 26
25
18 x = 25 x =
18
25
S=
18
x2
3.1.
= 6 x 2 = 18 x = 20
3
Equao possvel determinada em , e
x 1
3.2. 2
= 5 6 x + 1 = 15
3
x = 15 7 x = 8
Equao possvel determinada em e e impossvel em

3.4.

5.3.

( 3)

(6)

3.3.

Condio universal
5.2. x 2 > 0 x 0
S = \ {0} . Condio possvel

5.5.

x2 0 x

1
2

7.3.

2 x 3 ( x 1) 0 2 x 3 x + 3 0
5 x 3 x

3
5

S = , +
5

1.1. Introduo lgica bivalente

7.4.

x 1
1
3 ( x 2) <
(6)
3
2
( 2)

7.5.

7.6.

7.7.

8.1.

8.2.

8.4.

( 3)

2 x + 2 18 x + 36 < 3
20 x < 3 38
20 x < 41
41
x>
20
41

S = , +
20

x 1
2 ( x + 1) > 1
2
( 3)
( 3)
( 3)
3
6 x + 1 6 x 6 > 3
7 x > 3 1
4
x<
7
4

S = ,
7

x3
3
> 3 ( x 1)
( 2)
( 2)
2
6 x + 3 > 6x 6
x 6 x > 6 9
7 x > 15
15
x<
7
15

S = ,
7

4 x
1
x

2
3
4 x
1
x+

2
3
6 x + 12 3x 2
3 x 2 12
3 x 14
14
x
3
14

S = ,
3

x ( x 3) = 0
2

1
x = 0 x3= 0
2
1
x= x=3
2
1
S = , 3
2
x ( x 2 )( x + 5 ) = 0
x = 0 x2 = 0 x+5 = 0
x = 0 x = 2 x = 5
S = {5 , 0 , 2}

8.3.

x =x
x2 x = 0
x ( x 1) = 0
2

x = 0 x =

1
4

S = 0 ,

8.5.

4
5
3x 2 = x 6 x 2 + 5 x = 0
2
x ( 6 x + 5) = 0 x = 0 6 x + 5 = 0
x = 0 x =

5
6

8.6.

x 2 = 4 x = 2 x = 2

8.7.

x2 = 5 x = 5 x = 5

S= 5, 5

8.8.

2 x = 18 x = 9 x = 3 x = 3
S = {3 , 3}

8.9.

x2 8x + 7 = 0 x =

5
S = , 0
6
S = {2 , 2}

x=

8 64 28

8 6
x = 1 x = 7
2

S = {1 , 7}

Pg. 14
A: 1 + 3 > 7 uma proposio falsa.
C: Um dado cbico tem seis faces. uma proposio
verdadeira.
E: A Torre de Pisa est inclinada. uma proposio
verdadeira.
2.1. = 3,1416 uma proposio falsa porque a dzima de
1.

2.2.

infinita.
8 12 = 8 4 3 = 8 2 3 = 16 3

A proposio dada verdadeira.

2.3. O comprimento da hipotenusa de um tringulo retngulo
maior do que qualquer um dos comprimentos dos catetos.
A proposio dada falsa.
2.4.
0,09 = 0,3 e 0,3
0,09 , logo uma proposio verdadeira.

Pg. 15
3.
Por exemplo:
3.1. p r . A proposio p verdadeira e a proposio r falsa.
Logo, p r falsa.
3.2. p q . As proposies p e q so verdadeiras.
Logo, p q verdadeira.
4.

p: 0,(6) 2 = 0,666 66 2 = 1,333 33 = 1,(3)

p falsa.
q: 1020 5 1019 = 10 1019 5 1019 = (10 5 ) 1019
= 5 1019
q verdadeira.
r: ( 5,7 )

x = 0 x 1 = 0
x = 0 x =1

1
x = 2 x2 x = 4x2 4 x2 x = 0
( 2)
2
x ( 4 x 1) = 0 x = 0 4 x 1 = 0

S = {0 , 1}

105

+ porque 105 par.

r falsa.
s: m.d.c. (72 , 108) = 36; s verdadeira
Ento, p r e q s .

1.1. Introduo lgica bivalente

Pg. 17
5.1. A Roda dos Alimentos no d orientaes para uma
alimentao saudvel. Proposio falsa
5.2.
5.3.
5.4.

2 3 2 < 3 . Proposio verdadeira

5
5
< 1 1 . Proposio verdadeira
2
2

1 7
1 7
2 = 2 . Proposio falsa
3 3
3 3
1
1 6 +1 7
2 = 2+ =
=
3
3
3
3

12.
12.1.
12.2.
12.3.

Se p q falsa, ento p verdadeira e q falsa.

pV e qF
13.1. p q V F F F F

Pg. 19
p: O nmero 2 primo.
q: O nmero 9 um quadrado perfeito.
6.1. p q . Proposio verdadeira porque p e q so verdadeiras.
6.2. p q. Proposio falsa porque q falsa.
6.3. p q . Proposio falsa porque p e q so falsas.

13.2.

Proposio falsa
( p q ) ( V F) F

13.3.

Proposio falsa
( p q ) ( V F) ( V V ) V

13.4.

Proposio verdadeira
( p q ) ( V F) ( V V ) V

Proposio verdadeira
13.5. ( p q ) ( V F ) ( F F ) F . Proposio falsa

13.6. ( q p ) ( F V ) V . Proposio verdadeira

13.7. ( q p ) ( F V ) ( V V ) V
Proposio verdadeira
14.1. a a verdadeiro qualquer que seja a (princpio do

6.

uma proposio

falsa porque

2 = 1, 414 uma proposio falsa.

2

7.2.

1
( 5 < 4 ) > 1 uma proposio verdadeira porque
3
(5 < 4) 5 4

8.

9.

10.

11.

a F F qualquer que seja a.

14.3. a a falsa qualquer que seja a. Logo, ( a a ) a

verdadeira porque se o antecedente falso, ento a

implicao sempre verdadeira.

18
falsa dado
2

18
18
=
= 9 = 3 .
2
2

Pg. 21
Se
p q uma proposio verdadeira, ento
pV e qV.
8.1. p q V V V Proposio verdadeira
8.2. p q V V F V V Proposio verdadeira
8.3. p q F F F Proposio falsa
Se p q verdadeira qualquer que seja q, ento p
verdadeira

que seja a.
14.2. a a falsa qualquer que seja a (princpio de no
contradio). Logo, a ( a a ) falsa dado que

15.

18
3,1416 falsa, porque
2
que

terceiro excludo).
Ento, a ( a a ) verdadeira pois a V V qualquer

1
verdadeiro e > 1 9 > 1
3

verdadeiro.

7.3.

( p V ) . Se p fosse uma proposio falsa,

poderia ser falsa se q fosse uma proposio falsa.

p e p tm valores lgicos contrrios, ou seja, se p
verdadeira, p falsa e se p falsa, p verdadeira.
Logo, p p falsa (princpio de no contradio).
Pelo princpio do terceiro excludo p p V , logo

( p p) F .

Pg. 23
r: Est calor.

13.

5.7. No verdade que todos os tringulos tm dois ngulos

agudos. Proposio falsa
5.8. No verdade que todos os mltiplos de 3 so mltiplos de 6.
Proposio verdadeira

2 = 1,414 2 < 10

q: O sol brilha.

12.4. ( p q ) r

5.5. No verdade que todos os pontos de um crculo pertencem

circunferncia que o define. Proposio verdadeira
7
7

5.6. > 2, ( 3) 2, ( 3) . Proposio verdadeira

3
3

7 6 1
1
= + = 2 + = 2 + 0, ( 3) = 2, ( 3)
3 3 3
3

7.1.

p: Chove.
qr
p r
r q

16.

Pg. 24
O losango [ABCD] um quadrado se e somente se tem as
diagonais iguais. Proposio verdadeira
Se p q uma proposio falsa, ento as proposies
p e q so ambas falsas, ou seja, a proposio p

verdadeira e a proposio q falsa.

16.1. p falsa e q falsa. Logo, a proposio p q
verdadeira porque as proposies p e q tm o mesmo
valor lgico.
16.2. p verdadeira e q falsa. Logo, p q falsa, p
verdadeira e q verdadeira. Assim, p q verdadeira.
Portanto, ( p q ) ( p q ) uma proposio falsa.

Pg. 26
17.
p
V
V
F
F

q
V
F
V
F

pq
q p
V
V
V
V
V
V
F
F

pq q p

1.1. Introduo lgica bivalente

18.

Pg. 30
p

V
V
V
V
F
F
F
F

pq

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

( p q) r

qr

V
V
F
F
F
F
F
F

V
F
F
F
V
F
F
F

p (q r )

V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F

( p q) r p (q r )

19.1.
pF
F
F
F
F
F

pFF

p
V
F

20.
p

qr

pq

pr

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

V
F
F
F
V
F
F
F

V
V
V
V
V
V
F
F

V
V
V
V
V
F
V
F

p (q r )

( p q) ( p r)

V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F

p (q r) ( p q) ( p r)

Pg. 28

pq

V
V
F
F

V
F
V
F

F
F
V
V

F
V
F
V

V
V
V
F

( p q)

p q

pq

V
V
F
F

V
F
V
F

F
V
F
V

V
F
V
V

V
F
V
F

(p

q)

(q

p)

(V
(V
(F
(F

F
V
F
F

F)
V)
F)
V)

F
V
V
F

(V
(F
(V
(F

F
F
V
F

F)
F)
V)
V)

( p q) ( p q) (q p)

23.2.
(p
(V
(V
(F
(F

V
F
F
V

q)
V)
F)
V)
V)

V
V
V
V

V
F
F
V

( p
(F
(F
(V
(V

q)
F)
V)
F)
V)

Pg. 31
V p p

( p V) ( p q)

pV p

p (V q)

Vq V

( p q)

p q

F
V
F
F

( p q) p

F
V
F
F

24.3. ( a b ) ( a b ) a ( b b )
aF
a
24.4. ( a b ) b
( a b ) b
( a b) b
( a b) b
(b a ) (b V )
b (a V)
bV
b
24.5. ( a b ) ( a b )
( a b) ( a b)

F
F
F
F
F
F
V
V

( p q) p q

( a b ) a b
( a a ) ( b a ) b
F ( b a ) b
(b a) b

Pg. 29
22.
p

q)

V
F
F
V

pV
p

Pg. 27

ab
24.2. p ( p q )

pF p

21.
p

V
V
F
F

V ( a b)

pF
V
F

F
F
F

F
V
V
F

24.1. a ( a b ) ( a a ) ( a b )

19.2.
p
V
F

23.1.
(p

a (b b)
a b
24.6. ( a b ) ( a b )

( a ) b ( a b )
( a b ) ( a b)
( a b) ( a b)
a ( b b)
a V
a

( p q ) p q

1.1. Introduo lgica bivalente

25.1. a ( a b ) b

29.

a ( a b ) b
a ( ( a ) b ) b

r: 5 mltiplo de 25 (falso)
Por exemplo:
29.1. p q
29.2. p r

a ( a b ) b
( a a ) b b

30.1. 3 7 7 3

( V b) b

( a ) b ( a b )
( a b) ( a b )
( a b) ( a b)

( a b ) ( a b ) b
( a a) ( b a) ( a b) ( b b)
V (b a ) ( a b ) V
( a b ) (b a )

32.1.
32.2.
32.3.
32.4.
33.1.
33.2.
33.3.

26.1. ( p q ) q p

( p q ) q p

verdadeiras. Logo, p falsa e q verdadeira.

35.1. p q F F F

( p q ) ( q p )
aaV

A proposio falsa.
35.2. p q V V V

26.2. p ( p q )

A proposio verdadeira.
35.3. ( p ) q p q F V V

( p ) ( p q )

A proposio verdadeira.
35.4. ( p q ) ( F F ) F V

( p p q)
( p p ) q

A proposio verdadeira.

Vq

36.1.

p p

26.3. p ( p q )
p ( ( p ) q )

p ( p q )
p ( p q)

A proposio p p verdadeira qualquer que seja a

proposio p.

36.2.

( p p) ( q)

p p

F ( q)

A proposio p p falsa qualquer que seja a proposio

Pg. 34
Atividades complementares
27. B: O coelho tem duas patas. Proposio falsa

28.1.
28.2.
28.3.
28.4.
28.5.
28.6.

a b : Os patos nadam e tm bico.

b c : Os patos tm bico e comem plantas.
a b : Os patos no nadam, mas tm bico.
b c : Os patos tm bico e no comem plantas.
p q . Proposio falsa
p q . Proposio falsa
q p . Proposio falsa

Pg. 35
34.1. A bicicleta da Alice ou tem flores. Proposio verdadeira
34.2. A bicicleta no da Alice, mas tem flores. Proposio falsa
35. Se p q verdadeira ento p e q so proposies

(a b)

D:

30.2. 4

30.3. No verdade que todos os mltiplos de 3 so nmero

mpares.
31. Se p verdadeira:
31.1. p falsa e ( p ) p verdadeira.

Vb
b
25.2. ( a b ) ( a b )

( p q ) ( p q )

p: um nmero irracional (verdadeiro)

2
q:
um nmero racional (verdadeiro)
3

16 4
= . Proposio verdadeira
9 3

B e D so proposies.
Proposio falsa
Proposio verdadeira
Proposio verdadeira
Proposio falsa
Proposio falsa
Proposio verdadeira

37.1.
37.2.
37.3.
37.4.

p.
q p : Se como mas, ento como fruta.
r q : Se compro fruta, ento como mas.
r p : Se compro fruta, ento no como fruta.
r q : Se no compro fruta, ento no como mas.

38.

Se a b uma proposio falsa, ento a verdadeira

e b falsa, ou seja, a e b so proposies falsas. Ento:

38.1. a b F F F
Proposio falsa
38.2. a b F F F V V
Proposio verdadeira

1.1. Introduo lgica bivalente

38.3. a b F F F V F

41.3.

Proposio falsa
38.4. a b F F V V V

p q

p ( p q )

q p

Proposio verdadeira
38.5. ( b a ) ( F F ) V

Proposio verdadeira
38.6. ( b a ) ( F F ) ( V F ) F V

p ( p q ) ( q p )

Proposio verdadeira
38.7. ( b a ) ( F F ) ( V V )

41.4.

V F . Proposio falsa
38.8. ( a b ) ( F F ) ( F V ) V F

39.

pq

pq

( p q) ( p q)

V V

Proposio falsa
Se a b falsa, ento a verdadeira e b falsa, ou

seja, a e b so verdadeiras.
39.1. ( a b ) ( V V ) V

V F

F V

p (q r ) ( p q) ( p r )

Proposio verdadeira
39.2. ( a b ) ( V V ) ( V F ) F

41.5.

Proposio falsa
39.3. a b V V V F V
Proposio verdadeira
39.4. a b V V F V F
Proposio falsa
39.5. ( a b ) ( V V ) ( F V ) V F
Proposio verdadeira
39.6. ( b a ) ( V V ) ( F F ) V F
Proposio falsa

40.1.

(q

r)

F
F
F

( p

q)

( p

r)

p p
p
V
V
F
F

p p p

40.2.

( p q) (

p q) q

42.1. ( a b ) ( a ) ( b ) a b
42.2. a ( a b ) ( a a ) ( a b )
V ( a b) a b

p p
V
V
F
F

p p p
p

42.3. ( a b ) b ( a b ) ( b b )
( a b) V a b ( a b)

42.4. ( a b ) ( a b ) a ( b b )
aVa

41.1.
p

42.5. ( a b ) ( a b )
( a b ) ( a b )

( a b) ( a b)

( a a ) ( b b)

pq

p q

( p q )

p q ( p q )

41.2.

VVV

A proposio verdadeira quaisquer que sejam as

proposies a e b (V).
42.6. ( a b ) a

p q

( p q )

pq

( a b ) ( b a ) a

( a b) (b a) a

( p q ) p q

( a b) a
( a b b a ) a

( a b ) ( b a ) a

( a b ) ( b a ) ( a a )

1.1. Introduo lgica bivalente

( a b ) ( b a ) V

45. p ( p q ) p ( p q ) ( p p ) q
VqV

( a b ) (b a )

( a b ) b a

ou
Se p verdadeira, ento a proposio verdadeira. Se p
falsa, ento p q verdadeira, pelo que a proposio

( a b ) ( b b ) a
aba
ab

42.7. ( p q ) q p

( p q ) q p
( p q ) q p
( p q ) q p
( p q ) ( q q ) p
( p q ) V p
( p q) p
( p p) (q p)
F (q p)

q p
42.8. b ( b c ) ( b c ) c

( b b ) ( b c ) ( b c ) ( c c )

46.

igualmente verdadeira.
( q r ) p

47.1. a) a b

b (c c)
bVb

42.9. a ( a b ) ( a b )

a ( a b ) ( a b )
( a ( a b ) ) ( a b )

a ( a b ) ( a b )
( a a ) ( a b ) ( a b )

Pg. 37
47.3. Se p q falsa, ento p verdadeira e q falsa:
pV e qF
a) p q V F V
p q verdadeira.
b) p q V F F F F
p q falsa.
c)

VVV
verdadeira.

47.4. Se p q uma proposio verdadeira, ento p e q tm o

mesmo valor lgico.
( p V e q V ) ou ( p F e q F )
p q V V F ou p q F F F
p q falsa.
b) Se p e q tm o mesmo valor lgico, ento p e q tm

a)

valores lgicos diferentes.

Logo, p q verdadeira.
c) Se p V e q V :

( p q ) p ( V V ) F V F V
Se p = F e q = F :
( p q ) p ( F F) V F V V

ab

44.2. ( q ) q F
( q ) falsa.

44.3.

44.4.

44.5.

p q V F F
p q falsa.
p q V F F V V
p q verdadeira.

( p q ) ( V F) F
p q falsa.

44.6.

( p q ) ( V F ) ( V V ) V
p q verdadeira.

( p q ) p ( V F ) V ( F V ) V
( p q ) p

F ( a b) ( a b)

Pg. 36
43.1. Uma proposio no pode ser verdadeira e falsa em
simultneo.
43.2. Um proposio ou verdadeira ou falsa.
44. p V e q F
44.1. p V F
p falsa.

c) a b

47.2. a) Ou o Dinis engenheiro ou o Duarte enfermeiro.

Proposio falsa
b) Ou o Duarte enfermeiro ou o Dinis no engenheiro.
Proposio verdadeira

F ( b c ) ( b c ) F
(b c ) (b c )

b) a b

Logo, ( p q ) p verdadeira.

d) Se p q V , ento:

( p q ) p ( V V ) F V F V
Se p q F , ento:

( p q ) p ( F F ) V F V V
Logo, ( p q ) p verdadeira.
47.5. a)
p
V
F

p p

p p V

b)
q

p q

V
V
F

1.1. Introduo lgica bivalente

c)

49.1.

p q

[( a

b)

(a

b)]

d)

p q

pq

( p q ) ( p q )

p q

p q

( p q ) ( p q )

49.2. a ( a b a b )
( a ) ( a b ) ( a b )
a ( a b ) ( a b )
a ( a b ) ( a b )
a a ( b b )
a ( a V)

e)

aa
a

50.

p q

( p q )

pq

F
F

a verdadeira
b falsa, ou seja, b verdadeira.
Se a c falsa e como a verdadeira, ento c falsa.

51.

Portanto, a e b so verdadeiras e c falsa.

O Joo estuda Filosofia e Matemtica e no estuda Biologia.
( a b ) a b

( a b ) a b

( a b ) a b

( p q ) ( p q )

( a a ) b b

b) Se ( p q ) ( p q ) , ento:

( V b b)

( p q ) p q

( V b)

Portanto:

( V b)

p q ( p q )

( F b)

( p q ) ( q p )

F b
V b
b
Sabemos que b verdadeira pelo que b falsa.

( p q) (q p)
( p q) ( q p)
( p q) (q p)

48.1. Se o Antnio excedeu o limite de velocidade, ento foi

multado.
48.2. O Antnio no foi multado se e somente se ficou sem carta de
conduo.
48.3. Se o Antnio excedeu o limite de velocidade, ento no ficou
sem carta de conduo.
48.4. O Antnio excedeu o limite de velocidade ou foi multado ou
ficou sem carta de conduo.
48.5. Se o Antnio excedeu o limite de velocidade, ento no ficou
sem carta de conduo ou, se foi multado, ento tambm no
ficou sem carta de conduo.
48.6. O Antnio excedeu o limite de velocidade e foi multado ou o
Antnio no foi multado e ficou sem carta de conduo.

Se ( a b ) ( a c ) falsa, ento:
a b falsa
a c falsa
Se a b falsa, ento:

47.6. a)
q

52.

Logo, b falsa e a pode ser verdadeira ou falsa.

m : p ( q r )

52.1. Se m verdadeira:
p verdadeira, pelo que p falsa;
p r verdadeira.
Como r verdadeira, ento r falsa e como q r
verdadeira, ento a proposio q falsa.
Portanto, p falsa e q falsa.
52.2. m p ( q r )
( p ) ( q r )
p ( q r )

p ( ( q ) ( r ))
p (q r )

1.1. Introduo lgica bivalente

5.

53.1.
(a

b)

[a

(a

b)

a b

ab

(a b)

V
V
F
F

V
F
V
F

F
F
V
V

F
V
F
V

V
V
F
V

F
V
V
F

F
V
F
F

6.

( a b ) a ( a b )
( a b ) a ( a b )
( a b ) ( a a ) b
( a b ) ( V b )
(a b) V
pV V

Pg. 39

7.1.

(10 10 > 5 ) 10 10 5

7.2.

(10 + 2 = 15 10 0 ) 10 + 2 15 10 < 0

7.3.

( 5 10 < 15 ) ( 5 10 10 < 15 )

53.2.

5 > 10 10 15

a)

(a

b)]

[(b

( b a ) ( a b ) a
( b a ) ( a b ) a
( a b ) ( a b ) a

Se a Ana est na praia e no tem telemvel, ento no fala

com a av.
9.1. a) Se a Alice irm da Adriana, ento o Dinis no
estudante.
b) A Alice irm da Adriana se e somente se o Dinis
estudante.
c) A Alice no irm da Adriana e o Dinis estudante.
d) Se a Alice irm da Adriana e o Dinis estudante, ento
a Alice irm da Adriana.
9.2. p V e q F

8.

p q ( V V ) V

a ( b b ) a

p q verdadeira.

( a F) a

( p q ) ( V F) F

a a
V

Pg. 38
Avaliao 1
1.
O Dinis simptico.
A expresso no uma proposio, porque a sua veracidade
depende da avaliao subjetiva das outras pessoas.
Resposta: (A)
2.
pV; qF

p q falsa.
pq FF F
p q falsa.
( p q p ) ( V F V ) ( F V ) V

p q p verdadeira.
10.1.

( p q ) V V V
( p q ) ( F V) F
3.

Resposta: (B)
Se p ( q r ) verdadeira, ento p ( q r )
falsa.
Logo, p verdadeira e q r falsa, ou seja, p verdadeira e

4.

Resposta: (D)

pq

pq

10.2.
p

pq

pq

( p q) ( p q)

( p q ) ( F F) V
( p q ) p ( V F) F

p q p q

q e r so falsas.
Resposta: (C)
Se p q verdadeira, ento p verdadeira e q falsa.
pV e qF
p q V F V
p q F F F

( F F) V

Resposta: (C)
A afirmao dada equivalente a Se chover e o Joaquim
no tiver um impermevel ento no anda de bicicleta, ou
seja, ( q r ) p
Resposta: (B)

( p q) ( p q) q
11.

p V; pq V
Se p q verdadeira e p falsa, ento q verdadeira.
qV

1.1. Introduo lgica bivalente

11.1. p q V F F
p q falsa.
11.2.

( p q ) ( V F ) F
p q falsa.

11.3. ( p q ) F V
( p q ) verdadeira.

11.4. ( p q ) ( F V ) F V
( p q ) verdadeira.

13.2. a: 200 mltiplo de 3.

b: 121 mltiplo de 4.
a b
13.3. a: 2510 termina em 0.
b: 2510 mltiplo de 2.
c: 2510 mltiplo de 5.
a (b c )
14.

pV

12.1. a ( a b ) b

( q r) F

( a a ) b b
F b b
F b
V
(Se o antecedente falso, a implicao verdadeira.)
A proposio verdadeira quaisquer que sejam a e b.
12.2. p p ( p p )

p ( p F )
p ( p V )
( p V)
V

(Se o consequente verdadeiro, a implicao verdadeira).

A proposio verdadeira quaisquer que sejam p e q.
13.1. a: 2884 um mltiplo de 4.
b: No nmero 2884 a soma do dobro do algarismo das
dezenas com o algarismo das unidades um mltiplo de 4.
ab

Se p ( q r ) uma proposio falsa, ento:

Se q r uma proposio falsa, ento:

q V pelo que q F
rF

15.

Logo, p verdadeira e q e r so falsas.

a ( a b ) a ( b a )

a ( a b ) a ( b a )
( a a ) b ( a a ) b
F b (V b)
FV
F
16.1. ( a b ) b ( a b ) b
( a b) b
a ( b b)
a V
V
16.2. a ( a b ) a ( a b )
( a a) b
V b
V

1.2. Condies e conjuntos

1.2. Condies e conjuntos

Pg. 40
Atividade inicial 2

6.4.

x , x 2

6.5.

x :

x 1 = 3

x 1
> 1 . Proposio verdadeira
2

Clculo auxiliar:

3 1 = 3 2 = 3 (proposio falsa)

7.1.

10 1 = 3 9 = 3 (proposio verdadeira)
Apenas 10 soluo da equao.
1.
x2 0
1.1. 22 0 4 0 (proposio falsa)
1.2. 0 2 0 0 0 (proposio verdadeira)

1
. Proposio verdadeira
2

x 1
> 1 x 1 > 2 x > 3
2

x + 1 = 0 x = 1 impossvel em .
x 2 > 0 possvel no universal em

(no se verifica para x = 0).

p ( x ) impossvel e q (x) possvel no universal.

7.2. a) x , x + 1 0

Pg. 41
2.1.

x , x

2.2.

x , x

2.3.

x P, x

2.4.

x F , x tulipa.

verdadeira porque a condio

x + 1 0 universal em .
b) x : x 2 0 verdadeira porque a condio x 2 0

possvel em (0 soluo).

Pg. 47
Pg. 42

3.1. Existe pelo menos um nmero real igual ao seu dobro.

Proposio verdadeira
3.2. Existe pelo menos um nmero natural cuja soma do seu
quadrado com 1 um nmero negativo. Proposio falsa
3.3. Existe pelo menos um nmero natural cuja diferena entre o
seu dobro e 1 igual a 1. Proposio verdadeira
3.4. Existe pelo menos um tringulo escaleno.
Proposio verdadeira
Pg. 44

8.1.

x
x

x , 0 x > 0 x : 0 x 0
4
4

8.2. A proposio dada falsa porque a sua negao verdadeira

(para x = 0).
9.1. Por exemplo, 64 = 43 = 82 .

43 = ( 2 2 ) = ( 23 ) = 82 = 64
3

64 um cubo perfeito e um quadrado perfeito.

Logo, a proposio falsa.
9.2. Por exemplo, 4 > 3 e 4 3 .
Logo, a proposio falsa.

4.1. a) Condies universais: 3 x = 3 x ; x = x e x { }

2

Pg. 48

b) Condies possveis no universais: x e x

c) Condies impossveis: x + 2 = x
4.2. a) x + 2 = x uma condio impossvel.
Logo, x + 2 = x x impossvel
b) 3 x = 3 x uma condio universal.
Logo, 3 x = 3 x x + 2 = x universal.
c) x uma condio possvel.
Logo, x + 2 = x x uma condio possvel.
d) x 2 = x 2 uma condio universal.
Logo, x 2 = x 2 x universal.
e) x + 2 = x uma condio impossvel.
Logo, x 2 = x 2 x + 2 = x impossvel.
f) A condio x + 2 = x impossvel.
Logo, x + 2 = x 3 x = 3 x impossvel.

10.

Pg. 49
11. A = {5 , 10 , 15}
11.1. a) x A : x mltiplo de 5
A proposio verdadeira.
Por exemplo, 5 mltiplo de 5.
b) ( x A : p ( x ) ) x A, p ( x )
x A, x no um mltiplo de 5

Nenhum elemento de A mltiplo de 5

c) p (x) universal e p ( x ) impossvel.

11.2. a) a ( x , x > 5 x > 0 )

Pg. 45
5.1.

x C , x treinado

5.2.

x C : x no treinado
x C : x usa coleira
x C , x no usa coleira

Por exemplo, 1 e 1 2 .

x : x > 5 x 0
b ( x : x par x tem um divisor mpar)
x , x mpar x no tem divisores mpares
x , (x par x no tem divisores mpares)

b) A proposio a verdadeira (todo o nmero real maior

do que 5 positivo). A proposio b verdadeira (por
exemplo, 10 par e 5 divisor de 10).
Pg. 46

6.2.

1
x : 0 . Proposio falsa
x
x , x + 1 0 . Proposio falsa

6.3.

x : x mpar. Proposio verdadeira

6.1.

Pg. 51
12.1. A = {1 , 2 , 3 , 4 , 5 , 6 , 10 , 15 , 30}
A = { x : x divisor de 30} , por exemplo
B = {2 , 1 , 0 , 1 , 2}
B = { x : x 2} , por exemplo

1.2. Condies e conjuntos

12.2. C = { x : x divisor de 35} ; C = {1 , 5 , 7 , 35}

15.4. A C = ] , 1[ 3 , + = 3 , 1

D = { x C : x um nmero primo} ; D = {5 , 7}

15.5.
Pg. 53
13.

x ( x2 4) = 0 x = 0 x2 4 = 0
x = 0 x2 = 4
x = 0 x = 2 x = 2
A = { 2 , 0 , 2}
x2 2x = 0 x ( x 2) = 0
x =0 x2 =0
x =0 x = 2
B = {0 , 2}
C = { x : 3 x < 0} = [ 3 , 0[

13.1. A B = {2 , 0 , 2} {0 , 2} = {2 , 0 , 2}
13.2. A B = {2 , 0 , 2} {0 , 2} = {0 , 2}
13.3. A \ C = {2 , 0 , 2} \ [ 3 , 0[ = {0 , 2}
13.4. B = {2}
14.

14.1.

{n : a ( n )} = {n: n um quadrado perfeito}

{n : b ( n )} = {1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9}
{n : c ( n )} = {1 , 2 , 3 , 4 , 6 , 9 , 12 , 18 , 36}
R = {n : a ( n ) b ( n )}

= {n: n quadrado perfeito inferior a 10}

= {1 , 4 , 9}
14.2. S = {n : b ( n ) c ( n )} =
= {n : n inferior a 10 ou divisor de 36}
= {1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 12 , 18 , 36}
14.3. T = {n : a ( n ) c ( n )}
= {n: n no quadrado perfeito e divisor de 36}
= {2 , 3 , 6 , 12 , 18}

15.

2
1
x<
2x < 2 x < 1
2
2

2
( 2 )
( )
A = ] , 1[

5 3 x 9 3 x 4 x

4
3

B = ,
3

3 x + 48 3 3 x 3 16 3
3x 3 4 3 3 x 3 3
x 3

C = 3 , +

( A B ) C = ,

4
4

3 , + = 3 ,
3
3

15.6. A = ] , 1[ = [1 , + [
15.7. C = 3 , + = , 3
4 4

15.8. A \ B = ] , 1[ \ , = , 1
3 3

15.9. A \ ( B C ) = ] , 1[ \ 3 , =
3

= , 3 , 1
3

Pg. 55
16.1. Se um tringulo no issceles, ento no equiltero.
16.2. Se um nmero no racional ento no natural.
17.1. n , n par n2 par
Se n par, ento n = 2k para k .
Ento, n 2 = ( 2k ) = 4k 2 = 2 ( 2k 2 )
2

Como, sendo k , 2k 2 , resulta que 2 ( 2k 2 ) um

nmero par, ou seja, n2 par.
Logo, n , n par n2 par
Portanto, por contrarrecproco, fica provado que
n , n 2 mpar n mpar.

17.2. n , n divisvel por 35 n divisvel por 7

Se n divisvel por 35, ento n = k 35 para algum
k . Mas, n = 35k = 7 ( 5k ) .
Logo, se n = 35k com k , n divisvel por 7 porque se
k , ento 5k .
Portanto, se n divisvel por 35, ento n divisvel por 7.
Por contrarrecproco, temos
Se n no divisvel por 7, ento no divisvel por 35.
17.3. x , x um quadrado perfeito x no um nmero
primo
Se x e x um quadrado perfeito, ento x = 1 ou x = n2
com n \ {1}
Se x = 1, ento x no um nmero primo.
Se x = n2 com n 1 , ento x = n n pelo que n divisor de x
e n 1 . Logo, x no primo.
Portanto, por contrarrecproco, fica provado que se x um
nmero primo, ento x no um quadrado perfeito.
17.4. m, n , m n par n par m par
Vamos provar o contrarrecproco:
m, n , n mpar m mpar m n mpar
Se n mpar, n = 2 p 1, p .
Se m mpar, m = 2q 1, q .

15.1. A B = ] , 1[ , = ] , 1[
3

15.2. B C = , 3 , + =
3

4
4

15.3. A B = ] , 1[ , = ,
3
3

m n = ( 2q 1) ( 2 p 1) =

= 4 pq 2q 2 p + 1 =
= 2 ( pq q p ) + 1
Se p e q , ento 2 ( pq q p ) par pelo que
2 ( pq q p ) + 1 mpar.

1.2. Condies e conjuntos

Logo: m, n , n mpar e m mpar m n mpar

27.4. x : x x + 1

Por contrarrecproco ficou provado que se o produto de dois

nmeros naturais par, ento pelo menos um desses
nmeros par.

Proposio verdadeira (por exemplo, 1 1 + 1 )

28. A = {1 , 2 , 3}
28.1. x A : x um nmero primo

28.2. x A : x > x
Pg. 58
Atividades complementares
18. So condies as expresses x = 3 e x 5 = 0 porque,

19.

substituindo x por uma constante, obtm-se uma proposio.

1
x
2 =3
2
1 1
1

1
1
4
2
Para x = , temos:
= 3 4 = 3 = 3 (falsa)
4
2
2
8

Assim, obtm-se uma proposio falsa.

20.1. x, x rvore x d fruto

28.3. x A : x < 3 x
29.

Pg. 59
30.

30.3. A condio x > 2 x possvel mas no universal em .

31.1. x + 1 = 0 x = 1
Condio possvel em e .
Condio impossvel em .

31.2. x = x
Condio universal em , e .

20.3. x, x x
20.4. x, x x
21.1. A soma do quadrado de qualquer nmero real com 1 um
nmero positivo.
21.2. Qualquer nmero racional maior do que a sua soma com 1.
21.3. A soma do dobro de qualquer nmero natural com 1 um
nmero mpar.
21.4. O dobro de qualquer nmero natural um nmero par.
22. Proposies verdadeiras: x , x 2 + 1 > 0; n , 2n + 1

31.3. x x
Condio impossvel em , e .
31.4. 3 x < 0 x < 0
Condio possvel em e . Condio impossvel em .
31.5. ( x 1) x 2 = 0 x 2 2 x + 1 x 2 = 0
2

1
2
Condio possvel em e em . Impossvel em .
2 x + 1 = 0 x =

um nmero mpar; n , 2n um nmero par

u (x) uma condio universal e i (x) uma condio

impossvel.
32.1. x + 1 > 0 x + 1 > 0 x + 1 > 0 x > 1

32.

23.1. x , ( x + 1) = x 2 + 1
2

A proposio falsa. Por exemplo ( 2 + 1) 22 + 1

2

24.
24.1.
24.2.
25.1.

x > 2x x 2x > 0 x > 0 x < 0

Por exemplo:
30.1. A condio x > 2 x impossvel em .
30.2. A condio x > 2 x universal em ] , 0[

20.2. x, x tringulo x tem trs ngulos

23.2. x ,

Apenas a proposio de 28.1. verdadeira.

4
4
x . A proposio falsa. Por exemplo. 0 .
3
3

A = {1 , 2 , 3}
x A, x
x A, x < 2 x
x : x retngulo x quadrado

25.2. x : 2 x = x 2
25.3. n : n = 2
25.4. x : x barco x barco de pesca
26.1. Existe pelo menos um nmero real igual ao seu quadrado.
26.2. Existe pelo menos um nmero real maior do que o seu
quadrado.
26.3. Existe pelo menos um nmero real menor que a sua metade.
26.4. Existe pelo menos um nmero natural diferente da sua soma
com 1.
27.1. x : x = x 2 . Proposio verdadeira (por exemplo, x = 1)
27.2. x : x > x 2
2

1 1
Proposio verdadeira Por exemplo, >

2 2

x
27.3. x : > x
2
2

Proposio verdadeira Por exemplo,

> 2
2

Condio possvel no universal

32.2. x 0 x 3 = 0 u ( x ) x 3 = 0 u ( x )
Condio universal
32.3. x < 0 x 2 + 1 > 0 x > 0 u ( x ) u ( x )
Condio universal
32.4. x + 1 < 0 x + 2 > x i ( x ) u ( x ) i ( x )
Condio impossvel
32.5. x + 1 < 0 x 2 = 0 x < 1 x = 2
Condio possvel no universal
32.6. x 2 9 = 0 x 2 + 3 < 0 x 2 = 9 i ( x )
x = 3 x = 3
Condio possvel no universal
32.7. x + 1 < x x > 2 i ( x ) x > 2 i ( x )
Condio impossvel
32.8. x < 3 x < 3 + x x < 3 u ( x ) x < 3
Condio possvel no universal
32.9. x 0 x + 1 = 3 u ( x ) x = 2 x = 2
Condio possvel no universal
32.10.
x 1 x > 0 1 x 1 x > 0
x ]0 , 1]

33.

Condio possvel no universal

p ( x ) : x + 1 > 0 uma condio universal

1.2. Condies e conjuntos

33.1. Sendo i ( x ) uma condio impossvel.

39.5. ( x : x aluno do 10. A x tem olhos verdes)

x, x aluno do 10. A x no tem olhos verdes

p ( x) i ( x) i ( x)

39.6. ( x : x aluno do 10. A x estuda Economia)

x, x aluno do 10. A x no estuda Economia

Por exemplo: q ( x ) x 2 < 0

33.2. Sendo u ( x ) uma condio possvel no universal.

40.
40.1.
40.2.
40.3.
41.

u ( x) q ( x) q ( x)

Por exemplo: q ( x ) x + 1 = 0

34.1. x E : x no utiliza telemvel

( x E : x no utiliza o telemvel )
x E , x utiliza o telemvel
34.2. x E , x portugus

41.1. A proposio falsa. 4 A e

( x E , x portugus ) x E : x no portugus

35.1. x , x

4 um nmero inteiro.

41.2. ( x A, p ( x ) ) x A : p ( x )
41.3. a) A proposio falsa. 20 A e

x
x
x : x <
2
2

20 no inteiro.

b) A proposio verdadeira.
42.1. x, x x 0 x , x 0

Proposio verdadeira por exemplo, 2 <

42.2. x, x x par
x , x par

35.2. ( x , x < 0 ) x : x 0

42.3. x : x x 2 = 0 x : x 2 = 0
42.4. x : x x > 100 x : x > 100

Proposio verdadeira (x = 0)
35.3. ( x : x + 1 = 0 ) x , x + 1 0

43.1. A = { x : x 2 = 2 x = 0} =

Proposio falsa ( 1 + 1 = 0)
35.4. ( x : x + 1 > x ) x , x + 1 x

36.

As proposies so falsas porque, por exemplo:

2 primo e 2 par
9 um quadrado perfeito e 9 mpar
Um tringulo retngulo issceles no equiltero.
C = {1 , 4 , 9 , 16 , 20}
p ( x ) : x um nmero inteiro

= 2 ,0, 2

43.2. B = { x : x divisor de 12 x mltiplo de 3}=

Proposio falsa
C = { 2 , 1 , 0 , 1 2}; p ( x ) : x > 2

36.1. Proposio falsa

36.2. ( x C : p ( x ) ) x C , p ( x ) x C , x 2

= {3 , 6 , 12}
43.3. C = { x : x < 3 1 x = 5} =
= {4 , 2 , 1 , 0 , 1 , 2}

O valor absoluto de qualquer elemento de C menor ou igual

a 2.
36.3. a) x C : p ( x ) x C : x 2

1 x = 5 x = 5 1 x = 4
43.4. D = { x : x divisor de 18 1 < x < 18}

Proposio verdadeira
b) Proposio falsa dado que a sua negao verdadeira.
36.4. a) p (x) uma condio impossvel
b) p ( x ) uma condio universal

44.

B = { x : 4 < x 1 < 2} = {1 , 2}
Clculo auxiliar:
x

37.1. ( x , x = 2 x = 4 ) x : x = 2 x 4
2

4 < x 1 < 2 x 1 > 4 x 1 < 2 x > 3 x < 3 x = 1 x = 2

x , p ( x ) q ( x ) porque p (x) e q (x) tm o mesmo

37.2. ( x , x 2 x = 0 x = 0 ) x : x 2 x = 0 x 0
37.3. ( x , x > 5 x > 2 ) x : x > 5 x 2

45.

falsa

porque,

por

1 < 0 ( 1) > 0

38.2. x ,

( 1)

45.1. A B = {1 , 0 , 1 , 2}

x 2 > 0 x > 0 falsa porque, por exemplo,

45.2. A C = {0 , 2}
45.3. B \ A = {1 , 1}

> 0 1 0

38.3. x , x < 1 2 x < 2

C = { x : 0 x < 5} ; C = {0 , 1 , 2 , 3 , 4}

exemplo,

conjunto-soluo: {1 , 2}.
x2 2x = 0 x ( x 2) = 0 x = 0 x 2 = 0
x = 0 x = 2 ; A = {0 , 2}
x < 2 2 < x < 2 ; B = { 1 , 0 , 1}

Pg. 60
38.1. x , x < 0 x 2 < 0

= {2 , 3 , 6 , 9}
A = { x : x < 3} = {1 , 2}

falsa porque, por exemplo,

3 < 1 2 ( 3) 2

39.1. ( x, x aluno do 10. A x estuda Matemtica)

x : x aluno do 10. A x no estuda Matemtica
39.2. ( x, x quadriltero x paralelogramo)

x : x quadriltero x no paralelogramo

39.3. ( x , x ) x : x
39.4. ( x, x trevo x tem quatro folhas)
x : x trevo x no tem quatro folhas

45.4. A = C \ A = {1 , 3 , 4}
46.1. x , x 0 x 0
46.2. x , x 1 x 2 1 0
47.

Se n divisvel por 33, ento n = k 33 para algum k .

Mas, se n = 33k , ento n = 11 ( 3k ) sendo 3k dado que
k . Portanto, se n divisvel por 33, ento n divisvel

por 11. Por contrarrecproco, tem-se:

se n no divisvel por 11, ento no divisvel por 33.

1.2. Condies e conjuntos

Pg. 61

49.
50.

A disjuno de uma condio universal com uma condio

qualquer uma condio universal.
Resposta: (D)
x <1 2 x < 0 x < 1 x > 2 x
( x 3 x > 4) x > 3 x < 4 x

51.

Resposta: (C)
a ( n ) : n divisor de 24

48.

n 1 , 2 , 3 , 4 , 6 , 8 , 12 , 24

53.1. A B = {3}
53.2. A C = {3}
53.3. A \ C = {1 , 3} \ C = {1}
53.4. B \ C = [ 2 , 5[

53.5. B C \ A = , [ 2 , + [ \ {1 , 3} =
2

n {1 , 2 , 3 , 4 , 5}

3
= ] , 1[ 1, [ 2, 3[ ]3, + [
2
53.6. A \ ( C B ) = {1 , 3} \ [ 2 , 5[ = {1}

c ( n ) : n um quadrado perfeito

54.

b ( n ) : 1 < 2n 10 1 n 5

P = { x : 3 < x < 1} = ]3 , 1[

n {1 , 4 , 9 , 16 , 25 , 36 , }

Q = { x : x < 2} = ]2 , 2[

d ( n ) : n mltiplo de 5

R = x : x < 0 = ] , 0[
2

n {5 , 10 , 15 , 20 , }

D = {n : a ( n ) b ( n )} = {1 , 2 , 3 , 4}
E = {n : a ( n ) b ( n )} = {1 , 2 , 3 , 4 , 5 , 6 , 8 , 12 , 24}
F = {n : a ( n ) c ( n )} = {2 , 3 , 6 , 8 , 12 , 24}

54.1. P Q = ]2 , 1[

G = {n : a ( n ) b ( n ) d ( n )} = {6, 8, 12, 24}

54.2. P Q = ]3 , 2[

52.

54.3. ( P Q ) R = ] , 1[
54.4. P R = ] , 0[ [1 , +[

54.5. R \ P Q = ] , 0[ \ ]3 , 2] =
= ] , 3] ]2 , 0[

52.1. A ( B C ) = A = A = ] , [
5

52.2. A ( B C ) = [ , + [ , 1 =
2

= , 1 [ , + [
2

55.

52.3. B \ C = ]1 , + [
5

52.4. C \ B = ,
2

52.5. C A = ]1 , + [ ] , [ = ]1 , [

x 1

> 1 = ] , 1[
x :1
2

Como ] , 0[ ] , 1[ :

52.6. C \ A = ]1 , + [ \ ] , [ = [ , +[
5 5

52.7. A \ ( B C ) = ] , [ \ , = ,
2
2

53. x 2 = 4 x 3 x 2 4 x + 3 = 0
x=

( 4 )

4 1 3

2 1

4 4
42
x=
x=
2
2
x = 1 x = 3
A = {1 , 3}
B = ] , 2] [ 2 , + [

3
2x 3 > 0 x 5 < 0 2x > 3 x < 5 x > x < 5
2
3

C = , 5
2

1
1
x>0 x<0 x<0
3
3
x 1
x 1
1
>1
>0
2
2
x 1

< 0 x 1 < 0 x < 1

2
1

x : x > 0 = ] , 0[
3

1
x 1

> 1
x : x > 0 x : 1
3
2

Avaliao 2
1.

2.

Pg. 62

3 x 2 x + 1 no uma condio em x
2

Resposta: (A)
x
x > 3 x > x 2 x > 0 x > 0 (condio possvel)
3

x+ 2

= x 2 + 2 2 x + 2 (condio universal)

x > x x + x > 0 2 x > 0 x > 0 (condio possvel)

x = 1 x = 1 (condio impossvel em )

Resposta: (D)

1.2. Condies e conjuntos

3.

x2 5x + 6 = 0 x =

5 25 24
5 1
x=

2
2

9.

x , 2 x 1 2 x 2

x = 2 x =3

Resposta: (A)

p = {2 , 3}
x 2 = 0 x = 2 ; q = {2}
x 2 = 9 x = 3 x = 3 ; r = { 3 , 3}
x : p ( x ) x : x 2 x 3

4.

uma proposio verdadeira.

Resposta: (C)
1
2 x 1 = 0 x = (condio impossvel em )
2
2x < x x < 0
(condio possvel em e impossvel em )

Pg. 63
10.1. x = x x = 2
x 2 x = 0 condio impossvel
condio impossvel
2

Condio impossvel
10.2. x 2 = x 2 ( x + 1) = 2 x + 2
x2 = x 2 x + 2 = 2x + 2
x 2 = x condio universal
condio universal

x 2 2 x = ( x 1) x 2 2 x = x 2 2 x + 1 0 x = 1
2

5.

(condio impossvel em )
Resposta: (C)
x 2 > 0 x + 1 = 0 x 0 x = 1
(condio possvel no universal)
( x 0 ) x3 = 0 x > 0 x = 0
x 0 x = 0 x (condio universal)
x2 + 1 > 0 x > 0 u ( x) x 0
x 0 (condio possvel no universal)
2 4 16
u ( x)
2
i ( x ) u ( x ) (condio impossvel)

x2 2x + 4 = 0 x2 + 7 6 x =

6.

Resposta: (B)
x2

Q = x : 1
5
3

x2
1
5 3 x + 2 15 x 10 x 10
3
Q = ] , 10]
x 2 + 7 x 60 = 0 x =

7 49 + 240

7 17
x = 12 x = 5
2
A = {12 , 5} Q

10.3.

1
x > 0 x < 0 ; B = ] , 0[ Q
2
( x + 12 ) = 0 x + 12 = 0 x = 12
2

C = {12} Q
x+8
2
< 3 8 x 8 < 12 x < 12 x > 12
4
D = ]12, + [ Q

Condio possvel no universal

11. A = {1 , 2 , 3}
11.1. 1 > 0 2 > 0 3 > 0
x A, x > 0

11.2. 1 > 0 2 > 0 3 > 0

x A : x > 0
12.1. ( x A, x vigia de praia)
x A : x no vigia de praia
12.2. ( x A, x joga futebol x estudante)
x A : x no joga futebol x no estudante
12.3. ( x : 3x 1 2 x = 0 )
x , 3 x 1 > 2 x 0

12.4. ( x : x > 0 x x )
x , x 0 x = x

13.

14.

A proposio falsa porque, por exemplo, um losango no

quadrado tem os quatro lados iguais e no um polgono
regular.
( x , x 2 a 2 x a )
x , x = a x 2 = a 2 uma proposio verdadeira.

15.1. 2 x > 6 x 2 < 0

x > 3 condio impossvel
Condio possvel no universal
15.2. x = 2 x 2 + 1 0

CQ

x = 2 condio universal

Resposta: (C)
A = ]2 , + [ e B = ]5 , 2[

condio universal

A B = ]2 , + [ ]5 , 2[ =

= ]5 , 2[ ]2 , + [

A B = ] , 5] {2}
8.

Condio universal
3
x = 2 x = 2
x = 8 condio impossvel
x=8

Condio possvel no universal

10.4. x 2 = x 3 x = 2
x = 0 x = 1 x = 8

x=

7.

( x : 2 x 1 = 2 x < 2 )

Resposta: (D)
15 3 x > 0 3x > 15 x < 5
Resposta: (C)

x =1 x +1 = 0
condio impossvel x = 1
condio impossvel
15.4. 3 x + 6 > 0 x + 1 = 1

15.3.

3 x > 6 condio impossvel

x > 2
Condio possvel no universal

1.2. Condies e conjuntos

15.5. x 2 64 = 0 2 x + 16 = 0
( x = 8 x = 8 ) x = 8

19.3. x , ( 5 x 10 ) > 0
2

A proposio falsa. Para x = 2, ( 5 2 10 ) 0 .

2

x = 8

1.

2.

x : x > 5 x 2 25

Pg. 64

x > 2x x < 0
x : x > 2 x uma proposio verdadeira.

Resposta: (C)
p qV; pV e qF
p q F F F
( p q ) ( V F) F

16.3. x , x > 5 x 2 > 25

( p q ) ( V F) F

x , x 2 25 x 5

p ( q p ) F ( F V ) ( F F ) V

A = x : ( x 2 + 1 > 0 ) x 1 > 0 = ]1 , + [
Clculo auxiliar:

( x 2 + 1 > 0 ) x 1 > 0 x2 + 1 0 x > 1 x > 1

3.

B = { x : ( x 3 x < 4 )} =
= ] , 3[ [ 4 , + [

} {

Resposta: (D)
( x : x < 0 x 2 0 )
x , x 0 x 2 < 0

= { x : x < 3 x 4} =

C = x + : x 2 0 = x + : x 2
C = 0 ,

x +1 = 2

Avaliao global

Condio impossvel
x , x > 5 x 2 > 25

A proposio e verdadeira para x = 1.

16.1. A proposio verdadeira.

16.2. ( x , x > 5 x 2 > 25 )

17.

19.4. x :

( x = 8 x = 8 ) x = 14 x

16.

x , ( 5 x 10 ) > 0 x : ( 5 x 10 ) 0

Condio possvel no universal

x2 x+2
15.6. x 2 64 = 0
=

3
4
( x = 8 x = 8 ) 4 x 8 = 3 x + 6

4.

Resposta: (B)
( x , x = a x 2 = a 2 ) x : x = a x 2 a 2

5.

Resposta: (A)
p ( p q ) ( p s ) ( r q ) V

p V ; ( V q ) V ; ( V s ) V ; r q V
p V ; q F; s F; rF V
p V ; q F e s F; r V

17.1. A C = 1 ,
17.2.

( A B ) C = ( ]1 , 3[ [ 4 ,

6.

+ [ ) 0 ,

= ]0 , 3[ [ 4 , +[

17.3. B \ C = ] , 0] 2 , 3 [ 4 , + [
17.4.

( A \ B ) C = [3 , 4[ 0 ,
= 0 ,

17.5.

Resposta: (D)
x
8 < 16 < x x > 16
2
Resposta: (A)

2 [3 , 4[

Pg. 65

( A C ) B = ]0 , 1] [3 , 4[

17.6. ( B \ A) C = ] , 1] 0 ,

= ]0 , 1]

18.

7.

Resposta: (A)
Se o mar tem ondas e o Rui no tem trabalho, ento o Rui faz
surf.
a cb

p : x : x = x 2 . Proposio verdadeira
q : x , x . Proposio verdadeira
r : x , x 2 . Proposio verdadeira
s : x , x < x 2 . Proposio falsa ( 1 12 )
t : x + , x < 2 x . Proposio verdadeira

19.1. x , x > x
A proposio falsa pois, por exemplo, 0 0 .

( x , x > x ) x : x x
19.2. x , x 2 1
A proposio verdadeira.

8.1. t falsa e l verdadeira.

8.2. x T , x tem um ngulo reto x no issceles
x L, x no quadrado x tem as diagonais diferentes

9.1. Todo o nmero real menor do que o seu quadrado.

Proposio falsa (por exemplo: 0 = 02)
9.2. Existe pelo menos um nmero primo no conjunto {2 , 3 , 4}.
Proposio verdadeira
9.3. A raiz quadrada do quadrado de um nmero real um nmero
positivo. Proposio falsa

02 = 0

9.4. Existe pelo menos um nmero real diferente de 2 cujo

quadrado 4. Proposio verdadeira (( 2)2 = 4)
10. A = { x : 2 < 2 x 1 < 2}
2 x 1 > 2 2 x 1 < 2 2 x > 1 2 x < 3
1
3
x > x < ; A = {0 , 1}
2
2

1.2. Condies e conjuntos

x2 4x + 3 = 0 x =

4 16 12
x =1 x = 3
2

B = {1 , 3}
C = { 3 , 2 , 1 , 0 , 1 , 2 , 3}
10.1. A = {0 , 1}
10.2. B = {1 , 3}
10.3. C = { 3 , 2 , 1 , 0 , 1 , 2 , 3}
10.4. A\B = {0}
10.5. A C = {0 , 1}

14.2. A proposio q falsa porque, por exemplo:

( 6 )

4
5
x ; q : x : x 3x ;
3
3
r : n : n 2 < 0

15.2. p : x , x

16.

10.7. B = ] , 1[ ]1 , 3[ ]3 , + [
10.8. A B = ] , 1[ ]1 , + [

( b a ) ( a c ) F
( b a ) F e ( a C ) F
b V e a V e (V c) F

p ( n ) : n divisor de 45

bV e aV e cF

{1 , 3 , 5 , 9 , 15 , 45}
q ( n ) : n mltiplo de 5

O Lus toca viola e bateria, mas no toca piano.

17.

11.2. B = n : ( q ( n ) p ( n ) ) r ( n ) =
= {1 , 2 , 3 , 4 , 6 , 7 , 8 , 9}
a: A soma dos algarismos de 1235 mltiplo de 3.
b: O nmero 1235 mltiplo de 3.
a b

pq

p q

( p q)

V F

F V

F F

p q ( p q )

18.

( p q ) ( p q )
( p q) ( p q)

1
13.1. x , x 2 >
3

( p q) ( p q) p q

1
.
3
1
1

x , x 2 > x : x 2
3
3

3
13.2. 5 2 x = 2 2 x = 3 x =
2

p q verdadeira se e somente se p for verdadeira e q for

Proposio falsa. Por exemplo, 0 2

falsa.

19.

a ( x) :

1
x>0 x>0
2

b ( x ) : x2 x + 3 = 0 x =
c ( x) :

x : 5 2 x = 2 uma proposio falsa porque

1 1 12
impossvel
2

x 2 0 universal

2 x + 1
x 1
>1
6 x + 3 > 6 2 x + 2
2
3
5
6 x + 2 x > 8 3 4 x > 5 x <
4

d ( x) :

5 2x = 2 impossvel em .

( x : 5 2 x = 2 ) x , 5 2 x 2

13.3. n , n primo n mpar

19.1.
A proposio falsa, porque 2 primo e 2 par.
n : n primo n par

13.4. x , x > 5 x > 4

Proposio verdadeira porque ]5 , + [ ]4 , + [

19.2.

13.5. x , 3 ( x 2 1) = 3 x 2 3

x 2 0 x 2 3x + 1 = 0
condio universal condio impossvel
condio impossvel
x2 0

2 x + 1
x 1
>1

2
3

condio universal x <

Proposio verdadeira porque 3 ( x 2 1) = 3 x 2 3 universal

em .
13.6. x : 2 x 1 = 0
Proposio verdadeira porque x =

V V

{1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9}
11.1. A = {n : q ( n ) p ( n )} = {1 , 3 , 9}

{5 , 10 , 15 , 20 , 25 , 30 , 35 , 40 , 45 , 50 , }
r ( n ) : x 2 < 100

12.

25 6 5

ou seja, q verdadeira.
4
5
15.1. p : x : < x < ; q : x , x < 3 x ;
3
3
r : n , n 2 0

10.6. C \ ( A B ) = {3 , 2 , 1 , 2}

11.

Condio possvel no universal

19.3.
1
2

Pg. 66
14.1. ( x , x 2 25 x > 5 ) x : x 2 25 x 5

5
5
x<
4
4

19.4.

x 2 0 x 2 3x + 1 = 0
condio universal condio impossvel
condio universal

5
1
2 x + 1
x 1
x >0
>1
x >0 x <
2
2
3
4
Condio possvel no universal

1.2. Condies e conjuntos

x 1
x 1

20.1. x , x 2
> 0 x : x 2
0
3
3

( a c ) ( c c ) b

20.2. x : x 2 x > 4 x , x < 2 x 4

( a c) b ( a b) c

21.

( a c ) V b

( a b) c

Por exemplo:

Vc
V
25.1. x mltiplo de 4 x par

O quadriltero [ABCD]
tem as diagonais
perpendiculares e no um
quadrado.

25.2. A proposio verdadeira.

Se x mltiplo de 4, ento:
x = 4k , k x = 2 ( 2 k )
Pg. 67

22.1. 5 x 1 < 3 5 x < 4 x <

4
5

4
< 1 , a condio 5 x 1 < 3 impossvel em .
5
22.2. 2 x 2 + x = 0 x ( 2 x + 1) = 0 x = 0 2 x + 1 = 0
Como

com 2k x par
25.3. x par x mltiplo de 4

26.

A proposio s verdadeira se b V .
a ( a b ) falsa se a F

1
2
Como 0 , 2 x 2 + x = 0 possvel no universal em .
x =0 x =

a a b ( F b) V
a ( a b) a ( a b)

22.3. x 2 2 = 0 x 2 = 2 x = 2 x = 2
Como 2 e

(a a) V

2 , x 2 2 = 0 impossvel em .

ab
A proposio falsa se a F e b F .

22.4. x 2 2 = 0 x = 2 x = 2
A condio x 2 2 = 0 possvel no universal em .
22.5. ( x 2 ) = 0 x 2 4 x + 4 0 x = 2 ( x 2 ) 0
2

A condio ( x 2 ) = 0 x 4 x + 4 impossvel em .

23.

27.1.

Resposta: (C)
( x V V) ( x V)

27.2. ( V x V ) ( x V )

x =2 x 2
2

A proposio falsa.
Por exemplo, 6 par e no mltiplo de 4.
( a a ) b ( V b )

( 3x 9 < 0 ) 3x 9 0 3x 9 x 3
A = [3 , + [

( x < 1 x 5 ) x 1 x < 5
B = [ 1 , 5]

x + x < 4 x > 0 x < 4

C = ]0 , 4[

27.3. ( V x x ) ( x F )
V F V verdadeiro
V V F falso

27.4. ( x F ) V ( x F )
27.5. ( x x ) V ( x F )
( V F) F
28.1. ( p q ) p
( p q) p
( p p) (q p)

23.1. A B = [3 , 5[
23.2. A B = [ 1 , + [
23.3. B \ A = [ 1 , 3[

23.6.

( A B ) \ C = [ 1 , 0] [ 4 , + [
( A \ B ) ( A C ) = [5 , + [ [3 , 4[ =
= [3 , 4[ [5 , + [
B C ; B = [ 1 , 5[ ; B = ] , 1[ [5 , +[

24.

B C =
( a b) V

23.4.
23.5.

( a c ) ( b c )
( a c ) (b c)
( a c ) (b c)

( a c ) c b

V ( q p )
q p
pq

28.2. p ( p q )
p ( p q )
( p p) ( p q)
V ( p q )

pq
28.3. p ( q r )
p ( q r )
( p q) r
( p q ) r

pqr