Você está na página 1de 16

Lgica e teoria dos

conjuntos
Descritor: 1.16 (Pgina 4 do caderno de apoio)
Simplificar expresses envolvendo operaes com proposies, substituindo-as por proposies
equivalentes com menos smbolos, e determinar o respetivo valor lgico sempre que possvel.

Exerccios
1.

Considere proposies p e q tais que p falsa e p q verdadeira. Indique o valor lgico de cada
uma das seguintes proposies.

1.1.

1.2.

pq

1.3.

: pq

1.4.

: p q

1.5.

: : p q

1.6.

p : q

1.7.

: pq

Resoluo
1.

Sabemos que p falsa e p q verdadeira.


Como p falsa, ento q verdadeira.

1.1.

q verdadeira

1.2.

p q falsa

1.3.

: p q verdadeira

1.4.

: p q falsa

1.5.

: : p q falsa

1.6.

p : q verdadeira

1.7.

: p q verdadeira

2.

Considere as proposies p e q. Simplifique as seguintes expresses que definem proposies e


indique, sempre que possvel, o respetivo valor lgico.

2.1.

: p p q

2.4.

* : p

2.2.

p q

: q 2.5.

: p p q

: p p q

2.3.

* p : p q

: q

Resoluo
2.1.

: p p q : p p q F q F . Proposio falsa

2.2.

: p p q : p p q V q V . Proposio verdadeira

2.3.

: p p q : p p : p q F : p q : p q

p q

:
q

2.5.* p : p q

:
q

2.4.* : p

p : p

:
q

:
p

q

: q

:
p
F

F . Proposio falsa

: q V p q : q

p q : q p q : q p V V . Proposio verdadeira

3.

*Determine o valor lgico das proposies p, q e r sabendo que a proposio:

Lgica e teoria dos


conjuntos
p q r falsa;
3.1.

3.2.

: p q r verdadeira.

Resoluo
3.1.

p q r falsa.
Dado que falsa segnifica que p verdadeira e q r falsa. Pelo mesmo descritor, q verdadeira
e r falsa.
Portanto, p e q so verdadeiras e r falsa.

3.2.

: p q r verdadeira, logo : p q e r so verdadeiras.

Lgica e teoria dos


conjuntos

Como : p q verdadeira, p q falsa.


p q falsa se e somente se p verdadeira e q falsa.

Portanto, p e r so verdadeiras e q falsa.


4.

*Sabe-se que p : q : r q p uma proposio verdadeira. Qual o valor lgico de p, q e r?

Resoluo

p : q :

r q p uma proposio verdadeira , logo p : q , : r q e p so verdadeiras.


p
:
q so verdadeiras, : q verdadeira e portanto, q falsa.
Como p e
Como : r q verdadeira e q falsa, ento : r falsa e, por conseguinte, r verdadeira.
Portanto, p e r so verdadeiras e q falsa.
Descritores: 2.3, 2.4 e 2.5 (Pgina 6 do caderno
de apoio)

Identificar uma condio p x como universal se x, p x for uma proposio verdadeira e


reconhecer que a disjuno de qualquer condio com uma condio universal uma condio
universal.
Saber, dada uma condio, p x , que existe x tal que p x uma proposio que verdadeira se
e somente se, para pelo menos um objeto a , p a for verdadeira, represent-la por x : p x
e designar o smbolo por quantificador existencial.
Identificar uma condio p x como possvel se x : p x for uma proposio verdadeira, como

impossvel se no for possvel e reconhecer que a disjuno de qualquer condio com uma
condio possvel uma condio possvel e a conjuno de qualquer condio com uma condio
Exerccios
impossvel uma condio impossvel.
1.
Considere as condies x x, x x, x , x , x e x .
1.1.

Indique as que so universais, as que so possveis e as que so impossveis.

1.2. *Tendo em conta a alnea anterior, para cada uma das seguintes condies indique se possvel,
impossvel ou universal:
1.2.1. x x x

1.2.2.

x x x

1.2.4. x x

1.2.5.

x x

1.2.3.

x x

Resoluo
1.1.

Universais: x x , x
Possveis: x , x
Impossveis: x x , x

1.2.1. x x x , impossvel

1.2.2.

x x x , universal

1.2.3. x x , possvel

1.2.4.

x x , universal

1.2.5. x x , possvel
2.

*Mostre que a disjuno de qualquer condio com uma condio universal uma condio
universal, que a disjuno de qualquer condio com uma condio possvel uma condio possvel
e que a conjuno de qualquer condio com uma condio impossvel uma condio impossvel.

Lgica e teoria dos


conjuntos

Resoluo
x, p x
Seja p(x) uma condio universal (isto ,
uma proposio verdadeira) e q(x) uma condio.
Ento, substituindo x em p(x) por um objeto arbitrrio obtemos uma proposio verdadeira, assim como em
p x q x
.
x, p x q x
p x q x
Daqui resulta que
uma proposio verdadeira, ou seja,
uma condio
universal.
x : p x
Seja p(x) uma condio possvel (isto ,
) uma proposio verdadeira) e q(x) uma condio.
Ento, existe pelo menos um objeto a para o qual p(a) verdadeira. Para esse mesmo objeto a
x : p x q x
p a q a
tambm uma proposio verdadeira. Daqui resulta que
uma proposio
p x q x
verdadeira, isto ,
uma condio possvel.
x : p x
Seja p(x) uma condio impossvel (isto ,
uma proposio falsa) e q(x) uma condio. Ento,
no existe nenhum objeto x para o qual p(x) verdadeira. Isto implica que no existe nenhum objeto x para
x : p x q x
p x q x
p x q x
o qual
verdadeira. Logo,
uma proposio falsa, ou seja,

uma condio impossvel.


Descritores: 2.7 e 2.8 (Pgina 8 do caderno de
apoio)

Representar, dada uma condio p x e um conjunto U , a proposio, x, x U p x por


x U , p x , e, no caso de ser verdadeira, designar p x por condio universal em U .
Representar, dada uma condio p x e um conjunto U , a proposio x : x U p x por
x U : p x , no caso de ser verdadeira designar p x por condio possvel em U e, no
caso contrrio, por condio impossvel em U .

Exerccios
1. Complete com , e as seguintes condies (substituindo as reticncias por um destes
smbolos), de modo que sejam universais em .

x 1 x 2 0 ... x 1

1.1. x 2 ... x 2 4

1.2.

1.4. x 3 ... x 3 27

1.5. x 3 2 ... x 3 2

1.3 x 3 ... x 4 81

Resoluo

x 1 x 2 0

x 1

1.1. x 2 x 2 4

1.2.

1.4. x 3 x 3 27

1.5. x 3 2 x 3 2

1.3 x 3 x 4 81

2. Para cada uma das condies x 2 , x 2 e x 4 indique se universal, possvel ou


impossvel em e o que da pode concluir, a esse mesmo respeito, acerca das condies:
2

2.1. x 2 2 x 2 4

2.2. x 2 2 x 2 4

2.3 x 2 2 x 2 2

2.4. x 2 2

Resoluo
2. x 2 2 , impossvel; x 2 2 , universal; x 2 4 , possvel

2.1.

Lgica e teoria dos


conjuntos
2.2. x 2 2 x 2 4 , possvel

x 2 2 x 2 4 , impossvel

2.3 x 2 2 x 2 2 , impossvel

2.4. x 2 2 x 2 2 x 2 , universal

Descritor: 2.9 (Pgina 8 do caderno de apoio)


Reconhecer, dada uma condio p x e um conjunto U , que a negao da proposio x U , p x
equivalente proposio x U : : p x , que a negao da proposio x U : p x
equivalente proposio x U , : p x e designar um elemento a U tal que : p a como um
contraexemplo para a proposio x U , p x .

Exerccios
1. Escreva afirmaes equivalentes negao das seguintes proposies, utilizando as segundas leis de De
Morgan:
1.1. Existe um colega na minha turma que no tem irmo.
1.2. Todas as pessoas que esto nesta sala usam um chapu.

Resoluo
1.1.
1.2.

Todo o colega da minha turma tem irmos.


Existe pelo menos uma pessoa nesta sala que no usa um chapu.

2. Considere o conjunto
x mltiplo de 6.

A 2 , 3 , 4 , 5

e seja

p x

a condio x nmero primo e

q x

a condio

x A, p x , x A : q x
2.1. Indique o valor lgico de cada uma das proposies:
.
2.2. Para cada uma das proposies consideradas na alnea anterior, escreva uma proposio, comeando
com um quantificador, equivalente respetiva negao, traduzindo-a tambm em linguagem corrente.
p x , q x , : p x : q x
2.3. Quanto a cada uma das condies
e
indique se possvel, impossvel ou
universal em A.

Resoluo
2.1.
2.2.

x A, p x

x A : q x
, falso;
, falsa
: x A, p x x A : : p x

Existe pelo menos um elemento do conjunto A que no um nmero primo.


: x A : q x x A, : q x
Nenhum elemento do conjunto A mltiplo de 6.
2.3.

p x

, possvel em A ;

q x

, impossvel em A ;

: p x

, possvel em A ;

: q x

, universal em A

3. Mostre que as seguintes afirmaes so falsas, apresentando um contraexemplo.


3.1. Todos os quadrilteros do plano tm diagonais iguais.
3.2. Todos os nmeros mpares so primos.
3.3. Todos os nmeros primos formados por dois algarismos tm os algarismos distintos.

Resoluo
3.1.
3.2.
3.3.

Um paralelogramo no retngulo um quadriltero e no tem diagonais iguais.


Nove um nmero mpar e no um nmero primo.
O nmero 11 um nmero primo e tem os dois algarismos iguais.

Lgica e teoria dos


conjuntos
p x
4. *Dado um conjunto U e uma condio , escreva, na forma de uma implicao quantificada, a
x U , p x
proposio
e utilize as segundas leis de De Morgan para determinar uma proposio
equivalente respetiva negao, escrevendo-a tambm na forma abreviada.

Resoluo
x U , p x x, x U p x

: x U , p x x : : x U p x x : x U : p x x U : : p x

5.

p x
p x
*Dado um conjunto U e uma condio , mostre que se for uma condio universal em U,
: p x
p x
ento
uma condio impossvel em U e se for uma condio impossvel em U, ento
: p x
uma condio universal em U.

Resoluo
x, x U p x
Seja p(x) uma condio universal em U, isto ,
uma proposio verdadeira. Ento,
x : x U : p x
x U , : p x
para todo
uma proposio falsa. Daqui resulta que
uma proposio
: p x
falsa e, portanto,
uma condio impossvel em U.
x, x U p x
Seja p(x) uma condio impossvel em U, isto ,
uma proposio falsa. Como, para
x U , p x
: p x
todo
uma proposio falsa,
uma proposio verdadeira. Ento:
x, x U : p x
: p x
uma proposio verdadeira, ou seja,
uma condio universal em U.

6. **Dado um conjunto U mostre que a disjuno de qualquer condio com uma condio universal em
U uma condio universal em U, que a disjuno de qualquer condio com uma condio possvel
em U uma condio possvel em U e que a conjuno de qualquer condio com uma condio
impossvel em U uma condio impossvel em U.

Resoluo
x, x U p x
Seja p(x) uma condio universal em U (isto ,
uma proposio verdadeira) e q(x) uma
x U , p x
p x q x
condio. Ento, para todo
uma proposio verdadeira, assim como
. Daqui
x, x U p x q x
p x q x
resulta que
uma proposio verdadeira e
uma condio
x : x U p x
universal em U. Seja p(x) uma condio possvel em U (isto ,
uma proposio
verdadeira) e q(x) uma condio. Ento, existe pelo menos um objeto a U para o qual p(a) verdadeira.
a, p a q a
Para esse mesmo objeto
tambm uma proposio verdadeira. Daqui resulta que
x : x U p x q x
p x q x
uma proposio verdadeira, isto ,
uma condio possvel em U.
x : x U p x
Seja p(x) uma condio impossvel (isto ,
uma proposio falsa) e q(x) uma condio.
x

U
Ento no existe nenhum objeto
para o qual p(x) verdadeira. Isto implica que no existe nenhum
x : x U p x q x
p x q x
objeto x U para o qual
verdadeira. Logo,
uma proposio
p x q x
falsa, ou seja,
uma condio impossvel.
Reconhecer, dadas as condies p x e q x , que a negao da proposio, x , p x q x ,
Descritores: 2.19 e 2.20 (Pgina 10 do caderno
proposio x : p x : q x , isto , que essa proposio falsa se e somente se
deequivalente
apoio)
existir a tal que p a verdadeira e q a falsa.
Justificar, dadas as condies p x e q x , que a proposio x , p x q x equivalente
proposio x , : q x : p x , designar a segunda proposio por contrarrecproco da primeira
e uma demonstrao da segunda proposio por demonstrao por contrarrecproco da primeira.

Lgica e teoria dos


conjuntos

Exerccios
1. Justifique que as seguintes proposies so falsas.
1.1. Qualquer nmero natural que seja mltiplo de 5 mltiplo de 10.
1.2. Qualquer quadriltero que tenha os quatro lados iguais um quadrado.
1.3. Qualquer quadriltero que tenha os ngulos iguais tambm tem os lados iguais.

Resoluo
1.1. Cinco um mltiplo de 5 e no mltiplo de 10.
1.2. O losango tem quatro lados iguais e pode no ser um quadrado.
1.3. Um retngulo no quadrado tem ngulos iguais e os lados no so todos iguais.
2. Escreva os contrarrecprocos das proposies indicadas no exerccio anterior.

Resoluo
2.1. Qualquer nmero natural que no seja mltiplo de 10 no mltiplo de 5.
2.2. Qualquer quadriltero que no seja um quadrado no tem quatro lados iguais.
2.3. Qualquer quadriltero que no tenha os lados iguais, no tem os ngulos iguais.
3. Demostre por contrarrecproco que se o quadrado de um dado nmero natural n mpar, n mpar.

Resoluo
n , n 2 mpar n mpar

Demostrao por contrarrecproco:


2
Suponhamos que n no mpar, ou seja, que n par. Pretendemos demonstrar que n par (no mpar).

n 2 2 k 2 2k 2 2 p
2

Como n par, existe um k tal que n 2k . Logo,

2
, com p 2 k .

2
2
Portanto, n um nmero par. Por conseguinte, n , n mpar n mpar.

4. Demonstre por contrarrecproco que se, em dado plano, uma reta r paralela a outras duas retas s e t,
ento s e t so paralelas entre si.

Resoluo
Se, num dado plano, uma reta r paralela a outras duas s e t, ento s e t so paralelas entre si.
Recproco:
Se s e t no so paralelas entre si, ento r no paralela reta s ou reta t.
Dado que s e t no so paralelas e so complanares, estas sero concorrentes num ponto P. Se r paralela a
s ento r interseta t. Se r paralela a t ento r interseta s.
Logo, r no paralela a s ou a t.
Fica assim provado que se, num dado plano, uma reta r paralela a outras duas retas r e t, ento s e t so
paralelas entre si.

Lgica e teoria dos


conjuntos
p x e q x
5. *Considere condies
. Utilizando as segundas leis de De Morgan, mostre que so
: x, p x q x e x : p x : q x
equivalentes as proposies
.

Resoluo
: x, p x q x x : : p x q x x : p x : q x

Lgica e teoria dos


conjuntos

p x e q x
6. Considere as condies
. Mostre que so equivalentes as proposies:
x, p x q x e x, : q x : p x

Resoluo

x, : q x : p x x, : : : q x : p x x, : : q x p x x, q x : p x
x, : p x q x x, p x q x

Descritor: 3.1 (Pginas 11 e 12 do caderno de


apoio)

Resolver problemas envolvendo operaes lgicas sobre proposies.

Exerccios
1. Indique o valor lgico das seguintes proposies:
1.1. 7 um nmero primo e 2 no um nmero primo.
1.2. Tanto 49 como so nmeros irracionais.
1.3. 70 mltiplo de 7 e de 5.
1.4. 28 mltiplo de 7 ou de 8.
1.5. 111 um nmero primo ou 19 mltiplo de 9.

Resoluo
1.1. 7 um nmero primo e 2 no um nmero primo
V
Logo, a proposio falsa.
1.2.
1.3.
1.4.
1.5.

Falso, 49 um nmero racional.


Verdadeiro, pois 70 7 10 e 70 14 5 .
Verdadeiro, 28 7 4 , apesar de ser um mltiplo de 8.
111 no um nmero primo, pois tambm divisvel por 3.
19 primo, logo no mltiplo de 9.
Portanto, a proposio falsa.

2. Indique o valor lgico de cada uma das seguintes proposies.


2.1. igual a 3,14 ou a 3,1416.
2.2. 12 um nmero mltiplo de 4 ou de 7.
2 4

2.3. 4 3 4 5
2.4. 17 um nmero primo e par.
2.5.

9
4 um nmero irracional maior que 1.

2.6.

5 2 333 3

Resoluo
2.1. Falsa, um nmero irracional.
2.2. Verdadeira, 12 mltiplo de 4, mas 12 no mltiplo de 7.
2
3 8
4
5 16

12 12 Falsa
4 5
20 20
2.3. 4 3
2 4

Logo, a proposio 4 3 4 5 verdadeira.

Verdadeira

Lgica e teoria dos


conjuntos
2.4. Falsa, 17 no par.
9 3

2.5. Falsa, pois 4 2 um nmero racional.


5 2 333 3

2.6.

Verdadeira

Verdadeira

Logo, a proposio verdadeira.


3. Considere as proposies:

a : 7 um nmero irracional.
b: 7 3
c : 1 7 2
3.1. Indique o valor lgico de cada uma delas.
3.2. Traduza em linguagem corrente, sem utilizar a palavra no, as seguintes proposies e indique o
respetivo valor lgico:
a : b

3.2.1.

3.2.2.

: ab

3.2.3.

: b : c

Resoluo
3.1. a verdadeira; b falsa; c falsa
a : b verdadeira

3.2.1.

7 um nmero irracional menor ou igual a 3.


: a b falsa

3.2.2.

7 um nmero racional ou maior que 3.


: b : c verdadeira

3.2.3.

7 menor ou igual a 3 ento 1 7 maior ou igual a 2.

Se

4. Identifique as operaes lgicas e as proposies elementares envolvidas em cada uma das seguintes
proposies e escreva-as em linguagem simblica. (Por exemplo, Se

11
c:

42

11

pode traduzir-se simbolicamente por

a b c

11
11 4 ento ou

, sendo

a : 11 4 , b :

42

11

42
2

42

).
4.1. 5163 mltiplo de 3 se e s se a soma do valor dos algarismos desse nmero for um mltiplo de 3.
4.2. *Nem 102 um nmero mpar nem 11 um nmero racional.
4.3. *Como 3400 termina por dois zeros, ento mltiplo de 2, de 5 e de 4.

Resoluo
4.1. a: 5163 mltiplo de 3
b: a soma do valor dos algarismos 5163 um mltiplo de 3.
4.2. a: 102 um nmero mpar

b: 11 um nmero racional

: a : b : a b
4.3. a: 3400 termina em dois zeros
c: 3400 mltiplo de 5

b: 3400 mltiplo de 2
d: 3400 mltiplo de 4

ou
e

abcd

Lgica e teoria dos


conjuntos

Lgica e teoria dos


conjuntos
5. ** Considere as proposies:
a: Est a chover
b: O Carlos sai de casa
c: O Carlos tem aulas
Utilizando operaes lgicas entre a, b e c, escreva a seguinte proposio em linguagem simblica:
O Carlos no sai de casa quando est a chover, a menos que tenha aulas.
Resoluo
A proposio O Carlos no sai de casa quando est a chover a menos que tenha aulas. pode ser escrita
~ c a ~ b
em linguagem simblica da seguinte forma
Como a proposio equivalente a Se est a chover e o Carlos no tem aulas, o Carlos no sai de casa,
a : c ~ b
outra soluo
.
6. ** Considere uma operao &, dita ou exclusivo ou disjuno exclusiva, tal que, dadas
proposies p e q, p &q verdadeira quando e apenas quando p e q tm valores lgicos distintos para
resolver as seguintes questes.
6.1. Dadas as proposies p e q, construa uma proposio equivalente a p &q partindo de p e q e
utilizando apenas as operaes , e : .
6.2. Indique, justificando, se, dadas as proposies p e q, algumas das seguintes proposies sempre
verdadeira.
: p &q p q
: p &q p q
a)
b)
: p &q p q
: p &q p q
c)
d)

Resoluo
6.
p

p &q

: p

: q

: pq

: q p

V
V
F
F

V
F
V
F

F
V
V
F

F
F
V
V

F
V
F
V

F
F
V
F

F
V
F
F

6.1.

p &q : p q : q p

6.2. a) A proposio nem sempre verdadeira. Quando p e q so ambas falsas,


p q falsa, logo, : p &: q p q falsa.
b) A proposio nem sempre verdadeira. Quando p e q so ambas falsas,
p q falsa, logo : p &q p q falsa.

p q : q p

F
V
V
F

: p &q

verdadeira e

: p &q

verdadeira e

: p &q
c) A proposio nem sempre verdadeira. Quando p falsa e q verdadeira,
falsa e
&
:
p

p q verdadeira, logo
falsa.
d) A proposio sempre verdadeira. Por um lado, p q verdadeira quando p e q so ambas
: p &q
verdadeira ou ambas falsas. Nos dois casos, p &q falsa e, portanto,
verdadeira. Por
outro, p q falsa quando p e q tm valores lgicos diferentes. Nesse caso, p &q verdadeira
: p &q
e, portanto,
falsa.

Descritor: 3.2 (Pginas 12 e 13 do caderno de


apoio)

Resolver problemas envolvendo operaes sobre condies e sobre conjuntos.

Lgica e teoria dos


conjuntos

Lgica e teoria dos


conjuntos

Exerccios

1. Considere as seguintes condies definidas em .


a n
b n
c n
d n
: n um nmero primo : n mltiplo de 3 : n divisor de 18
: n inferior a 10
Defina em extenso cada um dos seguintes conjuntos:
P n : a n d n Q n : b n c n R n : c n d n S n : : c n d n
;
;
;

Resoluo
P 2 , 3 , 5 , 7

Q 3 , 6 , 9 ,18

R 1, 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 ,18

S 4 , 5 , 7 , 8

2. Considere os seguintes conjuntos de nmeros reais.


3

E x : x 4 , F x : x 2 e G x : x
2

Defina, sob a forma de intervalo, ou de reunio de intervalos disjuntos, os seguinte conjuntos,


considerados como subconjuntos de .
2.1. E F
2.2. F G
2.3. E F
2.4. E G
E F G
E \ F G
2.5.
2.6. E
2.7. G
2.8. E \ F
2.9.

Resoluo
3
3

G x : x ,
F x : x 2 , 2
2
2


2.
,
,
3

F G , 2 ,
E F , 4 , 2 , 4
2

2.1.
2.2.
3
3

E G , 4 ,
, 4
, 2
E F , 4 , 2

2
2


2.3.
2.4.

E x : x 4 , 4

3
3


E F G , 4 , 2 , , 4
, 2

2
2

2.5.
3

G \ G \ ,
E \ E \ , 4 4 ,
2

2.6.
2.7.
2.8.

3
, 2
2

, 2

2, 4
E \ F , 4 \ , 2

3

3
E \ F G , 4 \ , 2
,
2 , 4

2
2

2.9.

B x : x2 8 2 x
A n : 2n 5 10 n mpar
3. Considere
os
conjuntos
,
C x : x2 4
. Defina em extenso os conjuntos A, B, C, A \ C e B C .

Resoluo
3.

15
A n : 2 n 5 10 n mpar 1, 3 , 5 , 7 2n 5 10 2n 15 n 2
.
2
B x : x 8 2 x 2 , 4
x 2 2 x 1 9 0 x 1 9 x 1 9 x 2 x 4
2

x2 5 2x x2 2x 8 0 x 2 2x 1 1 8 0

C x : x 2 4 , 2 2 ,

Lgica e teoria dos


conjuntos

x 2 4 x 2 4 0 x 2 x 2 0 x 2 0 x 2 0 x 2 0 x 2 0 x 2 x 2

A \ C 1 , 3 , 5 , 7 \ , 2 2 , 1 B C 2 , 4 , 2 2 , 2 , 4
;

4. Indique se, para qualquer concretizao das variveis no conjunto U, se obtm, das seguintes condies,
implicaes verdadeiras, e escreva as respetivas contrarrecprocas.
4.1.

x 2 x 5 U

U
4.2. x mltiplo de 6 x par
x 1 x 5 U
4.3.
4.4. Se um tringulo retngulo, ento no equiltero (U o conjunto dos tringulos de um dado plano).
4.5. Se um tringulo issceles, ento no tem ngulos internos retos (U o conjunto dos tringulos de um
dado plano).
4.6. Se um losango tem as diagonais iguais, ento um quadrado (U o conjunto dos losangos de um dado
plano).
4.7. Um tringulo tem um ngulo externo agudo quando obtusngulo (U o conjunto dos tringulos de
um dado plano).
4.8.

x 1 x 2 1 U

4.9.

x2 1 x 1 U

Resoluo
4.1. Obtm-se uma implicao verdadeira. Contrarrecproco: x 5 x 2
U
4.2. x mltiplo de 6 x par
x 6k x 2 3k x 2q
x mltiplo de 6, k tal que
, onde q 3k .
Logo, x par. Obtm-se uma implicao verdadeira.
Contrarrecproco: x mpar x no mltiplo de 6.
x 1 x 5 U
4.3.
Para x = 2, x 1 verdadeira, mas x 5 falsa. Portanto, a implicao falsa.
4.4. A implicao verdadeira. Pois um tringulo retngulo tem um ngulo reto e um equiltero tem todos
os ngulos agudos. Contrarrecproco: Se um tringulo equiltero ento no retngulo.
4.5. A implicao falsa uma vez que um tringulo issceles pode ser retngulo, logo tem um ngulo reto.
Contrarrecproco: Se um tringulo tem ngulos internos retos ento no issceles.
4.6. A implicao verdadeira. Tem-se um losango com diagonais iguais e suficientes para ser um
quadrado. Contrarrecproco: Se um losango no um quadrado ento no tem as diagonais iguais.
4.7. Verdadeira. Pois um ngulo externo e o interno adjacente so suplementares.
Contrarrecproco: Um tringulo no obtusngulo no tem um ngulo externo agudo.
2
x 1 x 2 1 U
4.8.
. Verdadeira. Contrarrecproco: x 1 x 1
2
x2 1 x 1 U
4.9.
. Falsa, pois para x 1 : x 1 verdadeira e, no entanto, x 1 falsa.
2
Contrarrecproco: x 1 x 1
5. Demonstre, por contrarrecproco, que se um nmero natural n no divisvel por 3, ento no divisvel
por 15.

Resoluo
Se um nmero natural n no divisvel por 3, ento no divisvel por 15.

Lgica e teoria dos


conjuntos
Demonstrao por contrarrecproco: Suponhamos que n um nmero natural divisvel por 15.
Pretendemos mostrar que n divisvel por 3.Dado que n divisvel por 15, existe k tal qu

n 15k 3 5k

. Logo, n 3q , onde q 5k . Portanto, n divisvel por 3.


Fica assim demonstrado que se n um nmero natural no divisvel por 3, ento no divisvel por 15.