Lógica e teoria dos conjuntos (propostas de resolução)

Lógica e teoria dos conjuntos
Descritor: 1.16 (Página 4 do caderno de apoio)
▪ Simplificar expressões envolvendo operações com proposições, substituindo-as por proposições
equivalentes com menos símbolos, e determinar o respetivo valor lógico sempre que possível.
Exercícios
Considere proposições p e q tais que p é falsa e p  q é verdadeira. Indique o valor lógico de cada
uma das seguintes proposições.
pq
pq
1.1. q
1.2.
1.3.
1.
1.4.
 p  q
1.7.
pq
1.5.

p  q
p q
1.6.
Resolução
1.
Sabemos que p é falsa e p  q verdadeira.
1.1.
Como p é falsa, então q é verdadeira.
p  q é falsa
q é verdadeira
1.2.
1.4.
 p  q  é falsa
1.7.
p  q é verdadeira
2.
1.5.
p  q  é falsa
p  q é verdadeira
1.6.
p  q é verdadeira
Considere as proposições p e q. Simplifique as seguintes expressões que definem proposições e
indique, sempre que possível, o respetivo valor lógico.
p   p  q
2.2.
2.4. *  p   p  q   q
2.5.
2.1.

1.3.
p   p  q
p   p  q
2.3.
*  p   p  q  
q
Resolução
2.1.
p   p  q    p  p   q  F  q  F . Proposição falsa
2.2.
p   p  q    p  p   q  V  q  V . Proposição verdadeira
2.3.
p   p  q   p  p   p  q  F   p  q 
2.4.*  p   p  q   q   p  q   q 
2.5.*  p   p  q   q   p
pq
p   q q  
p    p  q  
p  F  F . Proposição falsa
q  V   p  q  
q
  p  q   q  p   q q   p  V  V . Proposição verdadeira
3.
*Determine o valor lógico das proposições p, q e r sabendo que a proposição:
3.1. p   q  r  é falsa;
3.2.
 p  q  r
é verdadeira.
Resolução
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 são verdadeiras e r é falsa.
Lógica e teoria dos conjuntos
3.2.
 p  q   r é verdadeira, logo  p  q  e r são verdadeiras.
Como  p  q  é verdadeira, p  q é falsa.
p  q é falsa se e somente se p é verdadeira e q é falsa.
Portanto, p e r são verdadeiras e q é falsa.
*Sabe-se que  p  q    r  q   p é uma proposição verdadeira. Qual o valor lógico de p, q e r?
4.
Resolução
 p  q  
r  q   p é uma proposição verdadeira , logo p  q , r  q e p são verdadeiras.
Como p e p  q são verdadeiras, q é verdadeira e portanto, q é falsa.
Como r  q é verdadeira e q é falsa, então r é falsa e, por conseguinte, r é verdadeira.
Portanto, p e r são verdadeiras e q é falsa.
Descritores: 2.3, 2.4 e 2.5 (Página 6 do caderno de apoio)
▪ Identificar uma condição p  x  como «universal» se x, p  x  for uma proposição verdadeira e
reconhecer que a disjunção de qualquer condição com uma condição universal é uma condição
universal.
▪ Saber, dada uma condição, p  x  , que «existe x tal que p  x  » é uma proposição 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 símbolo «  » por «quantificador existencial».
▪ Identificar uma condição p  x  como «possível» se x : p  x  for uma proposição verdadeira, como
«impossível» se não for possível e reconhecer que a disjunção de qualquer condição com uma
condição possível é uma condição possível e a conjunção de qualquer condição com uma
condição impossível é uma condição impossível.
Exercícios
1.
Considere as condições «x  x», «x  x», «x  », «x  », «x » e «x » .
1.1. Indique as que são universais, as que são possíveis e as que são impossíveis.
1.2. *Tendo em conta a alínea anterior, para cada uma das seguintes condições indique se é possível,
impossível ou universal:
1.2.1. x  x  x 
1.2.2.
x  x  x 
1.2.4. x   x 
1.2.5.
x
1.2.3.
x
 x 
 x
Resolução
1.1.
▪ Universais: x  x , x 
▪ Possíveis: x 
, x
▪ Impossíveis: x  x , x 
1.2.1. x  x  x 
, impossível
1.2.3. x 
 x  , possível
1.2.5. x 
 x
2.
1.2.2.
x  x  x  , universal
1.2.4.
x   x 
, universal
, possível
*Mostre que a disjunção de qualquer condição com uma condição universal é uma condição
universal, que a disjunção de qualquer condição com uma condição possível é uma condição possível
e que a conjunção de qualquer condição com uma condição impossível é uma condição impossível.
Lógica e teoria dos conjuntos
Resolução
Seja p(x) uma condição universal (isto é, x, p  x  é uma proposição verdadeira) e q(x) uma condição.
Então, substituindo x em p(x) por um objeto arbitrário obtemos uma proposição verdadeira, assim como em
p  x  q  x .
Daqui resulta que x,  p  x   q  x   é uma proposição verdadeira, ou seja, p  x   q  x  é uma condição
universal.
Seja p(x) uma condição possível (isto é, x : p  x  ) é uma proposição verdadeira) e q(x) uma condição.
Então, existe pelo menos um objeto a para o qual p(a) é verdadeira. Para esse mesmo objeto a
p  a   q  a  é também uma proposição verdadeira. Daqui resulta que x :  p  x   q  x   é uma proposição
verdadeira, isto é, p  x   q  x  é uma condição possível.
Seja p(x) uma condição impossível (isto é, x : p  x  é uma proposição falsa) e q(x) uma condição. Então,
não existe nenhum objeto x para o qual p(x) é verdadeira. Isto implica que não existe nenhum objeto x para
o qual p  x   q  x  é verdadeira. Logo, x :  p  x   q  x   é uma proposição falsa, ou seja, p  x   q  x  é
uma condição impossível.
Descritores: 2.7 e 2.8 (Página 8 do caderno de apoio)
▪ Representar, dada uma condição p  x  e um conjunto U , a proposição, x, x  U  p  x  por
« x  U , p  x  », e, no caso de ser verdadeira, designar p  x  por «condição universal em U ».
▪ Representar, dada uma condição p  x  e um conjunto U , a proposição x : x  U  p  x  por
«  x  U : p  x  », no caso de ser verdadeira designar p  x  por «condição possível em U » e, no
caso contrário, por «condição impossível em U ».
Exercícios
1. Complete com ,  e  as seguintes condições (substituindo as reticências por um destes
símbolos), de modo que sejam universais em .
 x  1 x  2  0 ... x  1
1.1. x  2 ... x2  4
1.2.
1.4. x  3... x3  27
1.5. x  3  2 ... x  3  2
1.3 x  3... x4  81
Resolução
 x  1 x  2   0
 x 1
1.1. x  2  x 2  4
1.2.
1.4. x  3  x3  27
1.5. x  3  2  x  3  2
1.3 x  3  x 4  81
2. Para cada uma das condições «x2  2» , «x2  2» e «x2  4» indique se é universal, possível ou
impossível em
e o que daí pode concluir, a esse mesmo respeito, acerca das condições:
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
Resolução
2. x2  2 , impossível; x2  2 , universal; x 2  4 , possível
2.1. x2  2  x2  4 , impossível
2.2. x2  2  x2  4 , possível
2.3 x 2  2  x 2  2 , impossível
2.4. x2  2  x2  2  x  2 , universal
Lógica e teoria dos conjuntos
Descritor: 2.9 (Página 8 do caderno de apoio)
▪
Reconhecer, dada uma condição p  x  e um conjunto U , que a negação da proposição
x  U , p  x  é equivalente à proposição x  U :
x  U : p  x  é equivalente à proposição x  U ,
p  x  , que a negação da proposição
p  x  e designar um elemento a  U tal que
p  a  como um «contraexemplo» para a proposição x  U , p  x  .
Exercícios
1. Escreva afirmações equivalentes à negação das seguintes proposições, utilizando as segundas leis de De
Morgan:
1.1. «Existe um colega na minha turma que não tem irmão.»
1.2. «Todas as pessoas que estão nesta sala usam um chapéu.»
Resolução
1.1.
1.2.
Todo o colega da minha turma tem irmãos.
Existe pelo menos uma pessoa nesta sala que não usa um chapéu.
2. Considere o conjunto A  2 , 3 , 4 , 5 e seja p  x  a condição «x é número primo» e q  x  a condição
«x é múltiplo de 6».
2.1. Indique o valor lógico de cada uma das proposições: «x  A, p  x », «x  A : q  x » .
2.2. Para cada uma das proposições consideradas na alínea anterior, escreva uma proposição, começando
com um quantificador, equivalente à respetiva negação, traduzindo-a também em linguagem corrente.
2.3. Quanto a cada uma das condições p  x  , q  x  , p  x  e q  x  indique se é possível, impossível ou
universal em A.
Resolução
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 não é um número primo.
 x  A : q  x   x  A, q  x 
Nenhum elemento do conjunto A é múltiplo de 6.
2.3. p  x  , possível em A ; q  x  , impossível em A ;
p  x  , possível em A ;
q  x  , universal em A
3. Mostre que as seguintes afirmações são falsas, apresentando um contraexemplo.
3.1. Todos os quadriláteros do plano têm diagonais iguais.
3.2. Todos os números ímpares são primos.
3.3. Todos os números primos formados por dois algarismos têm os algarismos distintos.
Resolução
3.1.
3.2.
3.3.
Um paralelogramo não retângulo é um quadrilátero e não tem diagonais iguais.
Nove é um número ímpar e não é um número primo.
O número 11 é um número primo e tem os dois algarismos iguais.
4. *Dado um conjunto U e uma condição p  x  , escreva, na forma de uma implicação quantificada, a
proposição x U , p  x  e utilize as segundas leis de De Morgan para determinar uma proposição
equivalente à respetiva negação, escrevendo-a também na forma abreviada.
Lógica e teoria dos conjuntos
Resolução
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
*Dado um conjunto U e uma condição p  x  , mostre que se p  x  for uma condição universal em U,
5.
então
p  x  é uma condição impossível em U e se p  x  for uma condição impossível em U, então
p  x  é uma condição universal em U.
Resolução
Seja p(x) uma condição universal em U, isto é, x,  x U  p  x   é uma proposição verdadeira. Então,
para todo x U ,
p  x  é uma proposição falsa. Daqui resulta que x :  x U 
falsa e, portanto,
p  x  é uma condição impossível em U.
p  x   é uma proposição
Seja p(x) uma condição impossível em U, isto é, x,  x U  p  x   é uma proposição falsa. Como, para
todo
x U , p  x  é
x,  x U 
uma
proposição
falsa,
p  x
p  x   é uma proposição verdadeira, ou seja,
é
uma
proposição
verdadeira.
Então:
p  x  é uma condição universal em U.
6. **Dado um conjunto U mostre que a disjunção de qualquer condição com uma condição universal em U
é uma condição universal em U, que a disjunção de qualquer condição com uma condição possível em
U é uma condição possível em U e que a conjunção de qualquer condição com uma condição impossível
em U é uma condição impossível em U.
Resolução
Seja p(x) uma condição universal em U (isto é, x, x U  p  x  é uma proposição verdadeira) e q(x) uma
condição. Então, para todo x U , p  x  é uma proposição verdadeira, assim como p  x   q  x  . Daqui
resulta que x, x U   p  x   q  x   é uma proposição verdadeira e p  x   q  x  é uma condição
universal em U. Seja p(x) uma condição possível em U (isto é, x : x U  p  x  é uma proposição
verdadeira) e q(x) uma condição. Então, existe pelo menos um objeto a U para o qual p(a) é verdadeira.
Para esse mesmo objeto a, p  a   q  a  é também uma proposição verdadeira. Daqui resulta que
x : x U  p  x   q  x   é uma proposição verdadeira, isto é, p  x   q  x  é uma condição possível em U.
Seja p(x) uma condição impossível (isto é, x : x U  p  x  é uma proposição falsa) e q(x) uma condição.
Então não existe nenhum objeto x U para o qual p(x) é verdadeira. Isto implica que não existe nenhum
objeto x U para o qual p  x   q  x  é verdadeira. Logo, x : x U   p  x   q  x   é uma proposição
falsa, ou seja, p  x   q  x  é uma condição impossível.
Descritores: 2.19 e 2.20 (Página 10 do caderno de apoio)
▪ Reconhecer, dadas as condições p  x  e q  x  , que a negação da proposição, x , p  x   q  x  , é
equivalente à proposição x : p  x  
q  x  , isto é, que essa proposição é falsa se e somente se
existir a tal que p  a  é verdadeira e q  a  é falsa.
▪ Justificar, dadas as condições p  x  e q  x  , que a proposição x , p  x   q  x  é equivalente à
proposição x , q  x   p  x  , designar a segunda proposição por «contrarrecíproco» da
primeira e uma demonstração da segunda proposição por «demonstração por contrarrecíproco» da
primeira.
Lógica e teoria dos conjuntos
Exercícios
1. Justifique que as seguintes proposições são falsas.
1.1. Qualquer número natural que seja múltiplo de 5 é múltiplo de 10.
1.2. Qualquer quadrilátero que tenha os quatro lados iguais é um quadrado.
1.3. Qualquer quadrilátero que tenha os ângulos iguais também tem os lados iguais.
Resolução
1.1. Cinco é um múltiplo de 5 e não é múltiplo de 10.
1.2. O losango tem quatro lados iguais e pode não ser um quadrado.
1.3. Um retângulo não quadrado tem ângulos iguais e os lados não são todos iguais.
2. Escreva os contrarrecíprocos das proposições indicadas no exercício anterior.
Resolução
2.1. Qualquer número natural que não seja múltiplo de 10 não é múltiplo de 5.
2.2. Qualquer quadrilátero que não seja um quadrado não tem quatro lados iguais.
2.3. Qualquer quadrilátero que não tenha os lados iguais, não tem os ângulos iguais.
3. Demostre por contrarrecíproco que se o quadrado de um dado número natural n é ímpar, n é ímpar.
Resolução
n  , n2 é ímpar  n é ímpar
Demostração por contrarrecíproco:
Suponhamos que n não é ímpar, ou seja, que n é par. Pretendemos demonstrar que n2 é par (não é ímpar).
Como n é par, existe um k 
tal que n  2k . Logo, n 2   2k   2  2k 2   2 p , com p  2k 2 .
2
Portanto, n2 é um número par. Por conseguinte, n  , n2 é ímpar  n é ímpar.
4. Demonstre por contrarrecíproco que se, em dado plano, uma reta r é paralela a outras duas retas s e t,
então s e t são paralelas entre si.
Resolução
Se, num dado plano, uma reta r é paralela a outras duas s e t, então s e t são paralelas entre si.
Recíproco:
Se s e t não são paralelas entre si, então r não é paralela à reta s ou à reta t.
Dado que s e t não são paralelas e são complanares, estas serão concorrentes num ponto P. Se r é paralela a
s então r interseta t. Se r é paralela a t então r interseta s.
Logo, r não é 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, então s e t são
paralelas entre si.
5. *Considere condições p  x  e q  x  . Utilizando as segundas leis de De Morgan, mostre que são
equivalentes as proposições
x, p  x   q  x 
e x : p  x   q  x  .
Resolução
x, p  x   q  x   x :  p  x   q  x   x : p  x  
q  x
Lógica e teoria dos conjuntos
6. Considere as condições p  x  e q  x  . Mostre que são equivalentes as proposições:
x, p  x   q  x  e x, q  x   p  x 
Resolução
x,
q  x   p  x   x,
 x,

 
q  x 

p  x    x,
 q  x   p  x   x, q  x  
p  x
p  x   q  x    x, p  x   q  x 
Descritor: 3.1 (Páginas 11 e 12 do caderno de apoio)
▪ Resolver problemas envolvendo operações lógicas sobre proposições.
Exercícios
1. Indique o valor lógico das seguintes proposições:
1.1. 7 é um número primo e 2 não é um número primo.
1.2. Tanto 49 como π são números irracionais.
1.3. 70 é múltiplo de 7 e de 5.
1.4. 28 é múltiplo de 7 ou de 8.
1.5. 111 é um número primo ou 19 é múltiplo de 9.
Resolução
1.1. 7 é um número primo e 2 não é um número primo
1.2.
1.3.
1.4.
1.5.
V
F
Logo, a proposição é falsa.
Falso, 49 é um número racional.
Verdadeiro, pois 70  7  10 e 70  14  5 .
Verdadeiro, 28  7  4 , apesar de ser um múltiplo de 8.
111 não é um número primo, pois também é divisível por 3.
19 é primo, logo não é múltiplo de 9.
Portanto, a proposição é falsa.
2. Indique o valor lógico de cada uma das seguintes proposições.
2.1. π é igual a 3,14 ou a 3,1416.
2.2. 12 é um número múltiplo de 4 ou de 7.
 2  4
  
2.3.
2.4. 17 é um número primo e par.
4 3 4 5
2.5.
9
é um número irracional maior que 1.
4
2.6.
5 2 33 3 3 
Resolução
2.1. Falsa, π é um número irracional.
2.2. Verdadeira, 12 é múltiplo de 4, mas 12 não é múltiplo de 7.
 2
3 8
 4
5 16
  
 

2.3.
Falsa
4 3
12 12
4 5
20 20
 2  4
Logo, a proposição    é verdadeira.
4 3 4 5
Verdadeira
Lógica e teoria dos conjuntos
2.4. Falsa, 17 não é par.
9 3
2.5. Falsa, pois
 é um número racional.
4 2
2.6. 5  2  3  3 3  3 
Verdadeira
Verdadeira
Logo, a proposição é verdadeira.
3. Considere as proposições:
b:
a : 7 é um número irracional.
7 3
c : 1  7  2
3.1. Indique o valor lógico de cada uma delas.
3.2. Traduza em linguagem corrente, sem utilizar a palavra «não», as seguintes proposições e indique o
respetivo valor lógico:
3.2.1.
a
3.2.2.
b
ab
3.2.3.
b c
Resolução
3.1. a é verdadeira; b é falsa; c é falsa
3.2.1.
a
b é verdadeira
7 é um número irracional menor ou igual a 3.
a  b é falsa
3.2.2.
7 é um número racional ou é maior que 3.
b  c é verdadeira
3.2.3.
Se
7 é menor ou igual a 3 então 1  7 é maior ou igual a –2.
4. Identifique as operações lógicas e as proposições elementares envolvidas em cada uma das seguintes
proposições e escreva-as em linguagem simbólica. (Por exemplo, «Se
 11   4 » pode traduzir-se simbolicamente por
c :  11  4 ).
2
2
2
 11   4 ou
11  4 , b :  11   4 e
11  4 então ou
a   b  c  , sendo a :
2
2
2
2
4.1. 5163 é múltiplo de 3 se e só se a soma do valor dos algarismos desse número for um múltiplo de 3.
4.2. *Nem 102 é um número ímpar nem 11 é um número racional.
4.3. *Como 3400 termina por dois zeros, então é múltiplo de 2, de 5 e de 4.
Resolução
4.1. a: 5163 é múltiplo de 3
b: a soma do valor dos algarismos 5163 é um múltiplo de 3.
4.2. a: 102 é um número ímpar
a b 
b: 11 é um número racional
 a  b
4.3. a: 3400 termina em dois zeros
c: 3400 é múltiplo de 5
a  b  c  d 
b: 3400 é múltiplo de 2
d: 3400 é múltiplo de 4
2
Lógica e teoria dos conjuntos
5. ** Considere as proposições:
a: «Está a chover»
b: «O Carlos sai de casa»
c: «O Carlos tem aulas»
Utilizando operações lógicas entre a, b e c, escreva a seguinte proposição em linguagem simbólica:
«O Carlos não sai de casa quando está a chover, a menos que tenha aulas.»
Resolução
A proposição «O Carlos não sai de casa quando está a chover a menos que tenha aulas.» pode ser escrita
em linguagem simbólica da seguinte forma ~ c   a ~ b 
Como a proposição é equivalente a «Se está a chover e o Carlos não tem aulas, o Carlos não sai de casa»,
outra solução é  a c  ~ b .
6. ** Considere uma operação  , dita «ou exclusivo» ou «disjunção exclusiva», tal que, dadas
proposições p e q, p  q é verdadeira quando e apenas quando p e q têm valores lógicos distintos para
resolver as seguintes questões.
6.1. Dadas as proposições p e q, construa uma proposição equivalente a p  q partindo de p e q e
utilizando apenas as operações ,  e .
6.2. Indique, justificando, se, dadas as proposições p e q, algumas das seguintes proposições é sempre
verdadeira.
a)  p  q   p  q
b)  p  q   p  q
c)
 p  q   p  q
d)
 p  q   p  q
Resolução
6.
p
V
V
F
F
q
V
F
V
F
pq
F
V
V
F
6.1. p  q   p  q    q  p 
p
q
F
F
V
V
F
V
F
V
pq
F
F
V
F
q p
F
V
F
F

p  q   q  p
F
V
V
F
6.2. a) A proposição nem sempre é verdadeira. Quando p e q são ambas falsas,
p  q é falsa, logo,
p
é verdadeira e
 p  q
é verdadeira e
q   p  q é falsa.
b) A proposição nem sempre é verdadeira. Quando p e q são ambas falsas,
p  q é falsa, logo
 p  q
 p  q  p  q
é falsa.
c) A proposição nem sempre é verdadeira. Quando p é falsa e q é verdadeira,
p  q é verdadeira, logo
 p  q
é falsa e
 p  q   p  q é falsa.
d) A proposição é sempre verdadeira. Por um lado, p  q é verdadeira quando p e q são 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 têm valores lógicos diferentes. Nesse caso, p  q é verdadeira
e, portanto,
 p  q
é falsa.
Descritor: 3.2 (Páginas 12 e 13 do caderno de apoio)
▪ Resolver problemas envolvendo operações sobre condições e sobre conjuntos.
Lógica e teoria dos conjuntos
Exercícios
1. Considere as seguintes condições definidas em
.
a  n  : n é um número primo b  n  : n é múltiplo de 3 c  n  : n é divisor de 18 d  n  : n é inferior a 10
Defina em extensão 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 
Resolução
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 números reais.
3

E  x  : x  4 , F  x  : x   2 e G   x  : x   
2

Defina, sob a forma de intervalo, ou de reunião 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.7. G
2.6. E
2.9. E \  F  G 
2.8. E \ F
Resolução


3  3

2. E   x  : x  4   , 4 , F  x  : x   2    ,  2  , G  
 x  : x      ,   


2  2


3
2.2. F  G    ,  2    ,    

  2

2.1. E  F   , 4    ,  2    , 4


3
3
2.4. E  G   , 4   ,      , 4
 2
  2 

 3

 3
  3

2.5. E   F  G    , 4     ,  2     ,       , 4   ,  2    ,  2 
 2

 2
  2


2.3. E  F   , 4    , 2     ,  2 

 

2.6. E 
\  , 4   4 ,  
\E
2.7. G 
\G 
3
 3
 
\  ,       ,  
2
 2
 
2.8. E \ F   , 4 \   ,  2     2 , 4 

 

3
3
2.9. E \  F  G    , 4 \  ,  2     ,      2 , 4 

2
2 

 
3. Considere
os
conjuntos
A  n  : 2n  5  10  n é ímpar ,
B  x  : x 2  8  2 x
C  x  : x 2  4 . Defina em extensão os conjuntos A, B, C, A \ C e B  C .
Resolução
3.
A  n  : 2n  5  10  n é ímpar  1, 3 , 5 , 7 . 2n  5  10  2n  15  n 
B  x  : x 2  8  2 x  2 , 4
x2  5  2 x  x2  2x  8  0  x2  2x  1  1  8  0
C  x  : x 2  4   ,  2   2 ,  
15
2
  x2  2x  1  9  0   x  1  9  x  1   9  x  2  x  4
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
e
Lógica e teoria dos conjuntos
4. Indique se, para qualquer concretização das variáveis no conjunto U, se obtêm, das seguintes condições,
implicações verdadeiras, e escreva as respetivas contrarrecíprocas.
4.1. x  2  x  5 U 

4.2. x é múltiplo de 6  x é par U 
4.3. x  1  x  5 U 


4.4. Se um triângulo é retângulo, então não é equilátero (U é o conjunto dos triângulos de um dado plano).
4.5. Se um triângulo é isósceles, então não tem ângulos internos retos (U é o conjunto dos triângulos de um
dado plano).
4.6. Se um losango tem as diagonais iguais, então é um quadrado (U é o conjunto dos losangos de um dado
plano).
4.7. Um triângulo tem um ângulo externo agudo quando é obtusângulo (U é o conjunto dos triângulos de
um dado plano).
4.8. x  1  x 2  1 U 

4.9. x 2  1  x  1 U 

Resolução
4.1. Obtém-se uma implicação verdadeira. Contrarrecíproco: x  5  x  2
4.2. x é múltiplo de 6  x é par U 
x é múltiplo de 6,  k 

tal que x  6k  x  2   3k   x  2q , onde q  3k .
Logo, x é par. Obtém-se uma implicação verdadeira.
Contrarrecíproco: x é ímpar  x não é múltiplo de 6.
4.3. x  1  x  5 U 

Para x = 2, x  1 é verdadeira, mas x  5 é falsa. Portanto, a implicação é falsa.
4.4. A implicação é verdadeira. Pois um triângulo retângulo tem um ângulo reto e um equilátero tem todos
os ângulos agudos. Contrarrecíproco: Se um triângulo é equilátero então não é retângulo.
4.5. A implicação é falsa uma vez que um triângulo isósceles pode ser retângulo, logo tem um ângulo reto.
Contrarrecíproco: Se um triângulo tem ângulos internos retos então não é isósceles.
4.6. A implicação é verdadeira. Tem-se um losango com diagonais iguais e suficientes para ser um
quadrado. Contrarrecíproco: Se um losango não é um quadrado então não tem as diagonais iguais.
4.7. Verdadeira. Pois um ângulo externo e o interno adjacente são suplementares.
Contrarrecíproco: Um triângulo não obtusângulo não tem um ângulo externo agudo.
4.8. x  1  x 2  1 U 
4.9. x 2  1  x  1 U 
 . Verdadeira. Contrarrecíproco:
 . Falsa, pois para
x2  1  x  1
x  1 : x2  1 é verdadeira e, no entanto, x  1 é falsa.
Contrarrecíproco: x  1  x2  1
5. Demonstre, por contrarrecíproco, que se um número natural n não é divisível por 3, então não é divisível
por 15.
Resolução
Se um número natural n não é divisível por 3, então não é divisível por 15.
Demonstração por contrarrecíproco: Suponhamos que n é um número natural divisível por 15.
Pretendemos mostrar que n é divisível por 3.Dado que n é divisível por 15, existe k 
tal qu
n  15k  3  5k  . Logo, n  3q , onde q  5k . Portanto, n é divisível por 3.
Fica assim demonstrado que se n é um número natural não divisível por 3, então não é divisível por 15.