Sunteți pe pagina 1din 11

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. q 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.2. p p q 2.3. p p q

2.4. * p p q q 2.5. * 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 pq

2.4.* p p q q p q q p q q p F F . Proposio falsa

2.5.* p p q q p p p q 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:


3.1. p q r falsa; 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.
Lgica e teoria dos conjuntos

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


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.


Como p e p q so verdadeiras, q verdadeira e portanto, q falsa.
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 impossvel uma condio impossvel.

Exerccios
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.3. x x
1.2.4. x x 1.2.5. 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
Seja p(x) uma condio universal (isto , x, p x 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 .
Daqui resulta que x, p x q x uma proposio verdadeira, ou seja, p x q x uma condio
universal.
Seja p(x) uma condio possvel (isto , x : p x ) 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
p a q a tambm uma proposio verdadeira. Daqui resulta que x : p x q x uma proposio
verdadeira, isto , p x q x uma condio possvel.
Seja p(x) uma condio impossvel (isto , x : p x 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
o qual p x q x verdadeira. Logo, x : p x q x uma proposio falsa, ou seja, p x q x
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 .
1.1. x 2 ... x2 4 1.2. x 1 x 2 0 ... x 1 1.3 x 3... x4 81

1.4. x 3... x3 27 1.5. x 3 2 ... x 3 2

Resoluo

1.1. x 2 x 2 4 1.2. x 1 x 2 0 x 1 1.3 x 3 x 4 81

1.4. x 3 x3 27 1.5. x 3 2 x 3 2

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


impossvel em e o que da pode concluir, a esse mesmo respeito, acerca das condies:
2.1. x2 2 x2 4 2.2. x2 2 x2 4
2.3 x 2 2 x 2 2 2.4. x 2 2
Resoluo
2. x2 2 , impossvel; x2 2 , universal; x 2 4 , possvel
2.1. x2 2 x2 4 , impossvel 2.2. x2 2 x2 4 , possvel
2.3 x 2 2 x 2 2 , impossvel 2.4. x2 2 x2 2 x 2 , universal
Lgica e teoria dos conjuntos

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. Todo o colega da minha turma tem irmos.
1.2. Existe pelo menos uma pessoa nesta sala que no usa um chapu.

2. Considere o conjunto A 2 , 3 , 4 , 5 e seja p x a condio x nmero primo e q x a condio


x mltiplo de 6.
2.1. Indique o valor lgico de cada uma das proposies: x A, p x , x A : q x .
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.
2.3. Quanto a cada uma das condies p x , q x , p x e q x indique se possvel, impossvel ou
universal em A.
Resoluo
2.1. x A, p x , falso; x A : q x , falsa
2.2. 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. Um paralelogramo no retngulo um quadriltero e no tem diagonais iguais.
3.2. Nove um nmero mpar e no um nmero primo.
3.3. O nmero 11 um nmero primo e tem os dois algarismos iguais.

4. *Dado um conjunto U e uma condio p x , escreva, na forma de uma implicao quantificada, a


proposio x U , p x e utilize as segundas leis de De Morgan para determinar uma proposio
equivalente respetiva negao, escrevendo-a tambm na forma abreviada.
Lgica e teoria dos conjuntos

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. *Dado um conjunto U e uma condio p x , mostre que se p x for uma condio universal em U,
ento p x uma condio impossvel em U e se p x for uma condio impossvel em U, ento
p x uma condio universal em U.
Resoluo

Seja p(x) uma condio universal em U, isto , x, x U p x uma proposio verdadeira. Ento,
para todo x U , p x uma proposio falsa. Daqui resulta que x : x U p x uma proposio
falsa e, portanto, p x uma condio impossvel em U.
Seja p(x) uma condio impossvel em U, isto , x, x U p x uma proposio falsa. Como, para
todo x U , p x uma proposio falsa, p x uma proposio verdadeira. Ento:
x, x U p x uma proposio verdadeira, ou seja, p x 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
Seja p(x) uma condio universal em U (isto , x, x U p x uma proposio verdadeira) e q(x) uma
condio. Ento, para todo x U , p x uma proposio verdadeira, assim como p x q x . Daqui
resulta que x, x U p x q x uma proposio verdadeira e p x q x uma condio
universal em U. Seja p(x) uma condio possvel em U (isto , x : x U p x uma proposio
verdadeira) e q(x) uma condio. Ento, existe pelo menos um objeto a U para o qual p(a) verdadeira.
Para esse mesmo objeto a, p a q a tambm uma proposio verdadeira. Daqui resulta que
x : x U p x q x uma proposio verdadeira, isto , p x q x uma condio possvel em U.
Seja p(x) uma condio impossvel (isto , x : x U p x uma proposio falsa) e q(x) uma condio.
Ento no existe nenhum objeto x U para o qual p(x) verdadeira. Isto implica que no existe nenhum
objeto x U para o qual p x q x verdadeira. Logo, x : x U p x q x uma proposio
falsa, ou seja, p x q x uma condio impossvel.

Descritores: 2.19 e 2.20 (Pgina 10 do caderno de apoio)

Reconhecer, dadas as condies p x e q x , que a negao da proposio, x , p x q x ,


equivalente proposio x : p x q x , isto , que essa proposio falsa se e somente se
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 , n2 mpar n mpar
Demostrao por contrarrecproco:
Suponhamos que n no mpar, ou seja, que n par. Pretendemos demonstrar que n2 par (no mpar).
tal que n 2k . Logo, n 2 2k 2 2k 2 2 p , com p 2k 2 .
2
Como n par, existe um k
Portanto, n2 um nmero par. Por conseguinte, n , n2 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.

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


equivalentes as proposies x, p x q x e x : p x q x .

Resoluo

x, p x q x x : p x q x x : p x q x
Lgica e teoria dos conjuntos

6. Considere as condies p x e q x . 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 F
Logo, a proposio falsa.
1.2. Falso, 49 um nmero racional.
1.3. Verdadeiro, pois 70 7 10 e 70 14 5 .
1.4. Verdadeiro, 28 7 4 , apesar de ser um mltiplo de 8.
1.5. 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. 2.4. 17 um nmero primo e par.
4 3 4 5
9
2.5. um nmero irracional maior que 1. 2.6. 5 2 33 3 3
4

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
2.3. Falsa Verdadeira
4 3 12 12 4 5 20 20
2 4
Logo, a proposio verdadeira.
4 3 4 5
Lgica e teoria dos conjuntos
2.4. Falsa, 17 no par.
9 3
2.5. Falsa, pois um nmero racional.
4 2
2.6. 5 2 3 3 3 3
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:
3.2.1. a b 3.2.2. ab 3.2.3. b c

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

7 um nmero irracional menor ou igual a 3.


3.2.2. a b falsa
7 um nmero racional ou maior que 3.
3.2.3. b c verdadeira
Se 7 menor ou igual a 3 ento 1 7 maior ou igual a 2.

4. Identifique as operaes lgicas e as proposies elementares envolvidas em cada uma das seguintes

11 4 ou
2
proposies e escreva-as em linguagem simblica. (Por exemplo, Se 11 4 ento ou 2

11 4 pode traduzir-se simbolicamente por 11 4 , b : 11 4 e


2 2
2
a b c , sendo a : 2

c : 11 4 ).
2
2

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 b: 3400 mltiplo de 2
c: 3400 mltiplo de 5 d: 3400 mltiplo de 4
a b c d
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
em linguagem simblica da seguinte forma ~ c a ~ b
Como a proposio equivalente a Se est a chover e o Carlos no tem aulas, o Carlos no sai de casa,
outra soluo a c ~ b .

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.
a) p q p q b) p q p q
c) p q p q d) p q p q
Resoluo
6.
p q pq p q pq q p p q q p
V V F F F F F F
V F V F V F V V
F V V V F V F V
F F F V V F 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 verdadeira e
p q falsa, logo, p q p q falsa.
b) A proposio nem sempre verdadeira. Quando p e q so ambas falsas, p q verdadeira e
p q falsa, logo p q p q falsa.
c) A proposio nem sempre verdadeira. Quando p falsa e q verdadeira, p q falsa e
p q verdadeira, logo p q p q
falsa.
d) A proposio sempre verdadeira. Por um lado, p q verdadeira quando p e q so ambas
verdadeira ou ambas falsas. Nos dois casos, p q falsa e, portanto, p q verdadeira. Por
outro, p q falsa quando p e q tm valores lgicos diferentes. Nesse caso, p q verdadeira
e, portanto, p q 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

Exerccios
1. Considere as seguintes condies definidas em .
a n : n um nmero primo b n : n mltiplo de 3 c n : n divisor de 18 d n : 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
2.5. E F G 2.6. E 2.7. G 2.8. E \ F 2.9. E \ F G

Resoluo


2. E x : x 4 , 4 , F x : x 2 , 2 , G
3 3
x : x ,
2 2

2.2. F G , 2 ,
3
2.1. E F , 4 , 2 , 4
2
2.4. E G , 4 , , 4
3 3
2.3. E F , 4 , 2 , 2
2 2
3 3 3
2.5. E F G , 4 , 2 , , 4 , 2 , 2
2 2 2

\ , 4 4 , 3 3
2.6. E \E 2.7. G \G \ , ,
2 2
2.8. E \ F , 4 \ , 2 2 , 4

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

3. Considere os conjuntos A n : 2n 5 10 n mpar , B x : x 2 8 2 x e


C x : x 2 4 . Defina em extenso os conjuntos A, B, C, A \ C e B C .

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

C x : x 2 4 , 2 2 ,
x2 4 x2 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
Lgica e teoria dos conjuntos

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
4.2. x mltiplo de 6 x par U
4.3. x 1 x 5 U
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. x 2 1 x 1 U
Resoluo
4.1. Obtm-se uma implicao verdadeira. Contrarrecproco: x 5 x 2
4.2. x mltiplo de 6 x par U
x mltiplo de 6, k tal que x 6k x 2 3k x 2q , onde q 3k .
Logo, x par. Obtm-se uma implicao verdadeira.
Contrarrecproco: x mpar x no mltiplo de 6.
4.3. x 1 x 5 U
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.
4.8. x 1 x 2 1 U . Verdadeira. Contrarrecproco: x2 1 x 1
4.9. x 2 1 x 1 U . Falsa, pois para x 1 : x2 1 verdadeira e, no entanto, x 1 falsa.
Contrarrecproco: x 1 x2 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.
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.

S-ar putea să vă placă și