Documente Academic
Documente Profesional
Documente Cultură
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.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.7. p q verdadeira
2.4. * p p q q 2.5. * p p q q
Resoluo
2.3. p p q p p p q F p q pq
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
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
Resoluo
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
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.
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
Resoluo
1.4. x 3 x3 27 1.5. x 3 2 x 3 2
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.
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.
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.
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.
Resoluo
x, p x q x x : p x q x x : p x q x
Lgica e teoria dos conjuntos
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 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.
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
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
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.
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
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
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.