Explorar E-books
Categorias
Explorar Audiolivros
Categorias
Explorar Revistas
Categorias
Explorar Documentos
Categorias
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.
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.
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.
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.
Resoluo
p : q :
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.
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.
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,
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.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.
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
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.
2. Considere o conjunto
x mltiplo de 6.
A 2 , 3 , 4 , 5
e seja
p x
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
p x
, possvel em A ;
q x
, impossvel em A ;
: p x
, possvel em A ;
: q x
, universal em A
Resoluo
3.1.
3.2.
3.3.
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.
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
n 2 2 k 2 2k 2 2 p
2
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.
Resoluo
: x, p x q x x : : p x q x x : p x : q x
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
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.
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
2.6.
Verdadeira
Verdadeira
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.
3.2.2.
3.2.3.
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
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
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
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.
Exerccios
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
E x : x 4 , F x : x 2 e G x : x
2
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 ,
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.
n 15k 3 5k