Captulo 1

1. Iniciao lgica bivalente

1
1.1
6.1
8.2
_______________________________________________
Pg. 9
{ }
{ }
( )
( )
3
3
4 16,designao.
4 16 6,proposio.
8,designao.
8 2,proposio.
2,3,5,designao.
1 2,3,5,proposio.
m.d.c. 8,10 ,designao.
m.d.c. 8,10 8,proposio.
+
+
>

6.2
8.3
2.
1.2
______________________________________________
Pg. 10
10.1 Pg. 14
1.3
1.4
1.5
3.1
4.1
4.2
6.3
11.1
14.1
1.6
1.7
1.8
{ }
( )
3 3
A proposio (1.2), 4 16 6, verdadeira.
A proposio (1.4), 8 2, falsa, j que 8 2.
A proposio (1.6), 1 2,3,5, verdadeira.
A proposio (1.8), m.d.c. 8,10 8, verdadeira.
+
>

A primeira: 4 umnmero par.

A primeira: "2+1" e "4-1" so designaes do nmero 3.
1
A segunda: " " uma designao de 0,5.
2
_

,
3.2
3.3
______________________________________________
Pg. 11 A proposio, 3+2=2+3, verdadeira.
A proposio, "3+2"="2+3", falsa.
A proposio, "5+3 2"="11", falsa.
8
A proposio, "4" " ", verdadeira.
2

,
4.3
4.4
5.1 verdadeira.
falsa.
verdadeira.
5.2
5.3
______________________________________________
Pg. 12 Olivro escolar no uminstrumento de trabalho.
Oautomvel no ummeio de transporte.
Nemtodos os alunos gostamde matemtica.
______________________________________________
Pg. 13 7.1
7.2
7.3
.
no umnmero irracional.
Nemtodos os nmeros primos so mpares.
a b a b

+ +
8.1 2 3 12. falsa.
2 3 12. verdadeira.
Nota: 2 3 4 3 12.

{ } { }
{ } { }
1 1,2,3. falsa.
1 1,2,3. verdadeira.

3
3
3
2 6. verdadeira.
2 6. falsa.
Nota: 2 8 6.

( )
( )
( ) ( )
2
2
2
2 5 20. falsa.
2 5 20. verdadeira.
Nota: 2 5 4 5 20.

8.4
3 6
3 6
A proposio falsa.
5 5.
verdadeira, visto que 5 5.

A gua umbemessencial e a proteco do

ambiente uma responsabilidade de todos.
A gua no umbemessencial e a proteco do ambiente
uma responsabilidade de todos.
.
.
.
l m
l m
l m

:
: :
_______________________________________________
_______________________________________________
Pg. 15
Pg. 16
Ou o Paulino tem17 anos ou a Mia tem16 anos. (Falsa)
Ou o Paulino no tem17 anos ou a Mia tem
16 anos. (Verdadeira)
falsa, porque e so ambas verdadeiras.
verdadeira, porque falsa e ve
p q
p q :
( )
.
rdadeira.
.
.
.
p q
p q
p r q

9.1
9.2
9.3
10.2
11.3
11.2
12.
13.1
A proposio de 11.1 verdadeira;
a proposio de 11.2 falsa;
a proposio de 11.3 falsa.
.
.
.
.
a b
a b

: : 13.2
Ou 1 1 2 ou a lgica uma batata.
Ou a lgica uma batata ou 1 1 2.
+
+
14.2
A proposio de 14.1 verdadeira.
A proposio de 14.2 falsa.
15.
16.1
16.2
17.1
17.2
18.1
18.2
18.3
Captulo 1
1. Iniciao lgica bivalente
2
19.1
26.1
_______________________________________________
Pg. 19 Pg. 17
7 1
5 9 e/ou 2+ . (Verdadeira)
3 3
7 1
5 9 e/ou 2 . (Falsa)
3 3
7 1
5 9 e/ou 2 . (Verdadeira)
3 3
<
+
+
28.
29.3
Pg. 20
20.
22.2
29.1
30.1
22.1
______________________________________________
Pg. 18
23.1
23.2
23.3
23.4
24.
25.1
25.2
25.3
Nota: Na proposio deste exerccio, onde
7 1 7 1
se l : 2 , deve ler-se : 2 .
3 3 3 3
So ambas verdadeiras.
b
b b +
19.
19.2.1
19.2.2
19.2.3
( )
Se 2 2 5, ento no umnmero irracional.
Se 2 2 5, ento 3 umnmero irracional.
Se e 3 so nmeros irracionais, ento 2 2 5.
Se 2 2 5 ou 3 no umnmero irracional, ento
n
q r
p r
r q
r q r

+
+
+
+
:
: :
:
o umnmero irracional.
.
Se verdadeira, ento uma das proposies
verdadeira e outra falsa.
verdadeira, porque uma das proposies verdadeira.
verdadeira, porque uma das proposies verdadeira.
verdadeira. Um
p q
a das proposies verdadeira.
falsa. Uma das proposies falsa.
verdadeira. Uma das proposies verdadeira.
20.1
20.2
21.1
21.2
21.3
22.3
22.4
. A proposio de 23.1 verdadeira, uma vez que e
so proposies falsas.
. A proposio de 23.2 verdadeira, uma vez que e
so proposies verdadeiras.
. A proposio de 23.3 verdadeira,
a b
a c
:
:
( )
( )
uma vez que e
so proposies verdadeiras.
. A proposio de 23.4 verdadeira, uma vez que e
so proposies falsas.
b c
a
a c
b

:
:
:
Se falsa, ento a proposio verdadeira
e a proposio falsa.
falsa, porque ambas as proposies ( e ) so falsas.
falsa, porque uma das proposies falsa.
verdadeira. Uma das pro
p q p
q
p q

:
posies verdadeira.
25.
Paulino estuda matemtica se e s se quer ser
cientista.
Paulino estuda matemtica se e s se no quer ser
jornalista.
Paulino estuda matemtica e quer ser cientista se e s
se no quer ser jornalista.
26.2
26.3
27.1
27.2
27.3
27.4
1
12 umnmero par se e s se umnmero irracional.
3
12 umnmero par se e s se 2 no umnmero irra-
cional.
1
12 no umnmero par se e s se e 2 so nmeros
3
racionais.
12 umnmero par e 2 umnmero racional se e s
1
se umnmero racional.
3
A proposio de 27.1 verdadeira.
A proposio de 27.2 falsa.
A proposio de 27.3 verdadeira.
A proposio de 27.4 falsa.
( )
Se verdadeira, ento as duas proposies
tmo mesmo valor lgico (ambas verdadeiras ou ambas
falsas).
verdadeira, porque uma das proposies verdadeira.
verdadeira, porque as proposies
a b
a b

( )
e no
tmo mesmo valor lgico.
verdadeira, porque as proposies e tmo
mesmo valor lgico.
a
a b a
:
29.
29.2
30.2
30.3
Captulo 1
1. Iniciao lgica bivalente
3
31.2
34.2
37.2
_______________________________________________
Pg. 23
34.3
37.3
42.
38.
40.1
Pg. 24
31.3
34.4
39.
32.
______________________________________________
Pg. 21 33.1
33.2
33.3
34.1
______________________________________________
Pg. 22 35.1
35.2
36.1
36.2
31.1
falsa (0).
falsa (0).
falsa (0).
( )
( )
a b
a b c
a b
a b c

:
: :
:
:
5 7 7 9
3 2 3 2
Jorge no mdico e/ou estuda matemtica.
Jorge mdico e estuda matemtica.


( )
F F
a a b a a b
b


: : 37.1
( )
( ) ( ) ( )
( )
( ) ( ) ( )
( )
V V
F
V
a a b a a b
b
a b a a b a a
a b a b
a b a a b a a
a b a b






: :
: :
: : 37.4
Pode concluir-se que a proposio verdadeira.
p q p v q
V V V
V F V
F V V
F F F
a b
a b c
a b c

: :
: : 40.2
40.3
41. ( ) 2 3 7 13 e 5 2 3 7 60 + +
( ) ( )
( ) ( )
( ) ( )
( )
( )
F
a b a b
a b a b
a a b b a b
b a
b a





:
:
43.
.
.
2 2 5 2 2 4
2 3 5 2 2 1 7
+ +
+
44.1
44.2
45.
_______________________________________________
Captulo 1
1. Iniciao lgica bivalente
4
46.2
10.1
10.2
11.2
46.3
11.1
49.
______________________________________________
Pg. 26 1.
2.
3.
______________________________________________
Pg. 27 8.1
8.2
9.1.1
46.1
A Olvia no era estudante e o Jeremias era
pescador.
Se o Jeremias no era pescador, ento a Olvia era estudante.
OEusbio foi futebolista e o Jeremias era pescador e a Olvia
era estudant
r q
q r
p q r

:
:
e.
: verdadeira.
: verdadeira.
: falsa.
r q
q r
p q r

:
:
9.2
Ordempossvel de preenchimento da tabela:
( )
( )
( )
( )
[ ] V
V
a a b a b
a a b a b
a a b a b
a a b b
a a
a
a


1
]
1
]

: :
:
:
:
a b
p
a
b

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


: :
______________________________________________
Resposta: (D).
Resposta: (C).
Se falsa, ento uma das proposies verdadeira
e outra falsa.
Assim,
(B) verdadeira, porque as proposies e tmo
mesmo valor lgico.
(C) verdadeira, porque as proposies e tmval
a b
p q
p q

or
lgico diferente.
Logo as respostas (B) e (C) esto correctas.
Nota: Por lapso, existemduas respostas correctas.
Resposta: (A).
Resposta: (B).
Resposta: (D).
Resposta: (C).
4.
5.
6.
7.
A proposio de 9.1.1 verdadeira.
A proposio de 9.1.2 verdadeira.
A proposio de 9.1.3 verdadeira.
a b
a b c
a c b

:
: :
9.1.2
9.1.3
OManuel no estuda Fsica nemMatemtica.
OManuel estuda Fsica e Matemtica e no estuda
Biologia.
verdadeira a proposio . a b c :
Captulo 1
2. Expresses algbricas. Quantificadores
1
1.
6.1
8.4
_______________________________________________
Pg. 29 So condies as expresses de:
2
(1.2) 3 0
n
(1.4) 2
(1.5) 1 3
(1.6) 3
(1.7) 1 1 0
As restantes so expresses designatrias.
n
x
x
x
+ >
>
>
>
>
6.2
8.5
3.4
______________________________________________
Pg. 30
10.1
Pg. 33
3.1
4.
10.2
13.
2.1
2.2
2.3
, mortal.
, temguelras.
, .
x H x
x P x
x x



Todo o quadrado de umnmero real no negativo.
Todo o nmero natural aumentado de uma unidade
maior que esse nmero.
Todos os peixes respirampor guelras.
Todo o nmero real aumentado de quatro unidades
positivo.
Todo o nmero natural aumentado de quatro unidades
positivo.
3.2
3.3
A afirmao que no verdadeira a 3.4,
, 4 0. x x + >
5.4
5.1 Proposio falsa.
Proposio verdadeira.
Proposio verdadeira.
Proposio verdadeira.
5.2
5.3
______________________________________________
Pg. 31
Pg. 32
7.1
7.2
7.3
8.1
9.
3.5
{ }
{ }
2
, 50.
nmeros primos , par.
, 16.
cobras , venenosa.
x x
x x
x x
x x
>

0, .
, 2 .
x x A
x A x x
>
<
7.4
2
2
Existe pelo menos umnmero real que
soluo da equao 3 2 0.
Existe pelo menos umnmero natural que soluo
da equao 3 2 0.
Existe pelo menos umnmero real cujo quadrado aumentado
de trs
x x
x x
+ +
+ +
unidades positivo.
______________________________________________
Existe pelo menos umnmero real que soluo da
inequao 3 2 .
Existe pelo menos umnmero natural que soluo da
inequao 3 2 .
x x
x x
<
<
8.2
8.3
(8.1) verdadeiro. Por exemplo para 1.
(8.2) falso.
(8.3) verdadeiro. Por exemplo para 1.
(8.4) verdadeiro. Por exemplo para 0.
(8.5) falso.
x
x
x

verdadeira. (Para 2)
falsa. (Admite duas solues: 2 ou 2).
verdadeira.
x
x x

10.3
e so livres.
muda.
livre e muda.
muda.
x y
x
x y
x
11.1
11.2
11.3
11.4
A expresso de 11.1 uma condio.
A expresso de 11.2 uma proposio.
A expresso de 11.3 uma condio.
A expresso de 11.4 uma proposio.
12.
{ }
Se 1, vem:2 5.
Se 2, vem:2 4.
Se 3, vem:2 3.
Se 4, vem:2 2.
Ento, em *, o conjunto-soluo 1, 2.
x y
x y
x y
x y
<
<
<
<

_______________________________________________
Pg. 34 14.1 a)
b)
d)
c)
14.2
, , 0.
, , 0.
, 0.
, 0.
x y x y
x y x y
x y x y
x y x y
+
+
+
+

(a) Quaisquer dois nmeros reais tmsoma nula. (Falso)
(b) Existempelo menos dois nmeros reais cuja soma
nula. (Verdadeiro)
(c) Para todo o nmero real existe pelo menos umoutro n-
mero real cuja soma como primeiro nula. (Verdadeiro)
Captulo 1
2. Expresses algbricas. Quantificadores
2
17.
______________________________________________
Pg. 35
b)
16.2
15.1
16.1
16.3
16.4
18.1
, 3 . x y x y
(d) Existe pelo menos umnmero real queadicionado com
qualquer outro d soma nula. (Falso)
( )
( )
Verdadeiro. 1
Verdadeiro. 0
y
x

15.2
, no joga futebol.
, no joga xadrez e/ou no joga domin.
, 2 1 5.
, 2 2 5 0.
x T x
x T x x
x x x
x x x


+

______________________________________________
Pg. 37 ( )
( )
( )
( )
( )
1
1 1
1
1 1
1
1
1 2
1 : 1 2
Ora, 2 e 2 1 2
Logo, 1 verdadeira.
Suponhamos que verdadeira para o inteiro , ou seja:
1 2
Vamos provar que verdadeira para o inteiro 1,
isto :

n
p
p
A n
A u
u
A
A n p
u
A n p
u

+
+
+
+
+
( )
( )
1 1
1 1
1
1
1
1
1
1
1
1
1 2 1 2
1
Sabemos que
2
Partindo daqui, pode-se escrever:
1
2
Mas sabe-se, por hiptese de induo, que 1 2 .
Ento, substituindo , vem:
1 1 2
2
2 2
2
2
p p
p p
n
n
p
p
p
p
p
p
p
p
p
p
u
u
u
u
u
u
u
u
u
u
+
+ +
+
+

+
+
+ +
+

+
+ +

( )
1
1 2
2
1 2
isto ,
( 1)
p
p
p
u
A p

+
+
+
+
18.2 a)
( )
( )
( ) ( ) ( ) ( )
( ) ( )
( )
1 1
1
1
1
1
2
Vamos provar que verdadeira para o inteiro 1,
isto :
1 1 1 1 2
2 2
Sabemos que:
1 2 3 ...
1 2 3 ... 1
Ou seja:
1
Partindo daqui, pode-se escrever:
p
p p
n
n
n n
p
p p
u
A n p
p p p p
u u
u n
u n n
u u p
u
+ +
+
+
+
+

+
+ + + 1 + +
]

+ + + +
+ + + + + +
+ +
( )
( )
( )
( )
( ) ( )
( ) ( )
1
1
1
1
1
Mas sabe-se, por hiptese de induo, que .
2
Ento, substituindo , vem:
1
1
2
1 2 1
2
1 2
2
isto ,
( 1)
p
p
p
p
p
p
u p
p p
u
u
p p
u p
p p p
u
p p
u
A p
+
+
+
+ +
+

+
+ +
+ + +

+ +

+
( )
( )
( )
( )
( )
( )
( )
1
1
1
:
2
1 2 1
1 :
2
1 2 1
Ora, 1 e 1
2
Logo, 1 verdadeira.
Suponhamos que verdadeira para o inteiro ,
ou seja:
n
n n
A n u
A u
u
A
A n p
+

+

( ) ( )
( ) ( )
( )
( )
( )
( )
( )
( )
1
1
1 1 1
1
1
: 3 2
1 : 3 2
Ora, 3 2 6 e 6 3 2
Logo, 1 verdadeira.
Suponhamos que verdadeira para o inteiro ,
ou seja:
3 2
Vamos provar que verdadeira para o inteiro 1,
isto :
3 2
n
n
p
p
p
p
A n u
A u
u
A
A n p
u
A n p
u
+
+




+

( )
( )
( )
1
1 1
1 1
1
1
1
Sabemos que:
3 2 e
3 2 3 3 2 2
Ou seja:
3 2
Partindo daqui, pode-se escrever:
3 2
Mas sabe-se, por hiptese de induo, que 3 2 .
Ento, substituindo , vem:
3
n n
n
n n n n
n n
n n
p p
p
p
p
p
u
u u
u u
u u
u
u
u
+ +
+ +
+
+
+





( ) ( )
( )
1
1
2 3 2
3 2
isto ,
( 1)
p
p
p
u
A p
+
+


+
Captulo 1
2. Expresses algbricas. Quantificadores
3
______________________________________________
Pg. 38 12.1 1.
{ }
(a) Oproduto de dois nmeros reais existe sempre e
nico.
(b) Propriedade comutativa.
(c) Propriedade associativa.
(d) Existncia de elemento neutro.
(e) Existncia de inverso em \ 0 .
Verdadeiro.
Fal

so.
, , .
, .
, 0.
x y x y y x
u x x u u x x
x y x y y x
+ +
+ +
+ +

2.
13.1
Resposta: (D).
Resposta: (A).
Resposta: (C).
Resposta: (C).
Resposta: (B).
Resposta: (A).
Resposta: (B).
3.
4.
5.
6.
7.
8.1 Pg. 39
8.2
8.3
8.4
8.5
, 0.
, 0.
, 0.
, 6.
, 5 , 5 .
, 4, 5.
x x
x x
x x
x x x
x x
x x
>
<

+
1
]
1
]

8.6
Todo o nmero natural real. (Verdadeiro)
Em a conjuno indempotente. (Verdadeiro)
H pelo menos umnmero real cujo valor absoluto no
superior a sete. (Verdadeiro)
Todo o nmero natural maior
L
que o seu inverso. (Falso)
H pelo menos umnmero real que maior que o seu
inverso. (Verdadeiro)
Existe pelo menos umnmero do intervalo 1, 5 que
igual a 5. (Falso)


9.1
9.2
9.3
9.4
9.5
9.6
10.1 a)
10.2
10.3
Existe pelo menos umser vivo que esteve na Lua.
Todo o nmero inteiro igual ao seu dobro.
b)
A proposio de 10.1 a) verdadeira.
A proposio de 10.1 b) falsa.
Proposio de 10.1 a)
, no esteve na Lua.
Proposio de 10.1 b)
, 2 .
x H x
x x x


11.1 a) , .
, .
x y y x
x y x y
<
<


b)
A proposio de 11.1 a) verdadeira.
A proposio de 11.1 b) falsa.
11.2
Falso.
Verdadeiro.
12.2
13.2
14.1
14.3
14.2