Lgica e Teoria dos

Conjuntos
Introduo Lgica Bivalente
Exerccios do Caderno de
Apoio

Os exerccios que se seguem so propostas

dos autores do programa de Matemtica A que
constam no Caderno de Apoio ao 10. Ano.
Os exerccios que se encontram assinalados
com

um

(*)

ou

correspondem
progressivamente
carcter opcional).

dois
a
mais

(**)

asteriscos

desempenhos
avanados

(de

Questo 1
Considere as proposies p e q tais que p falsa e pvq
verdadeira. Indique o valor lgico de cada uma das
proposies
abaixo.
1.1
q. Ver resposta.
1.2 pq. Ver resposta.
1.3 pq. Ver resposta.
1.4 (pq). Ver resposta.
1.5 (pq). Ver resposta.
1.6 pq. Ver resposta.
1.7 pq. Ver resposta.

1.1 q.
Resoluo
Comecemos por recordar que a proposio pq
verdadeira se, e somente se, pelo menos uma das
proposies, p ou q, for verdadeira.
Como pq verdadeira e p falsa, conclui-se que q tem de
ser verdadeira (FVV).

1.2 pq.
Resoluo
Comecemos por recordar que a proposio pq
verdadeira se, e somente se, as proposies p e q forem
ambas verdadeiras.
Como p falsa, conclui-se que pq falsa.

1.3 pq.

Resoluo
Como a proposio p falsa, a proposio p verdadeira.
Como a proposio pq verdadeira se, e somente se,
pelo menos uma das proposies, p ou q, for verdadeira,
conclui-se que pq verdadeira.

1.4 (pq).

Resoluo
A proposio (pq) verdadeira. Logo, (pq) falsa.

1.5 (pq).
Resoluo
Como a proposio p falsa, sabe-se que a proposio p
verdadeira.
A proposio pq verdadeira porque as duas proposies

p e q so verdadeiras.
Portanto, (pq) uma proposio falsa.

1.6 pq.
Resoluo
A proposio implicao entre p e q falsa se, e somente
se, o antecedente (p) for verdadeiro e o consequente (q) for
falso.
Como a proposio p falsa, conclui-se, ento, que a
proposio pq

verdadeira.

1.7 pq.
Resoluo
Duas proposies so equivalentes se tiverem o mesmo
valor lgico.
Como a proposio p falsa, a proposio p verdadeira.
A proposio q verdadeira (como se viu em 1.1)
Portanto, pq uma proposio verdadeira.

Questo 2

Considere proposies p e q. Simplifique as expresses que

definem proposies e indique, sempre que possvel, o respetivo
valor lgico.
2.1 p(pq). Ver resposta.
2.2 p(pq). Ver resposta.
2.3 p(pq). Ver resposta.
2.4* [p(pq)]q. Ver resposta.
2.5*[p(pq)]q. Ver resposta.

2.1 p(pq)
Resoluo
Utilizando a propriedade associativa da conjuno,

p(pq)(pp)q.
Pelo princpio da no contradio, pp uma proposio
falsa.
Ento, porque F o elemento absorvente da conjuno e a
conjuno de duas proposies verdadeira se, e somente
se, ambas forem verdadeiras, tem-se que p(pq)FqF.
Portanto, o valor lgico de p(pq) falsidade.

2.2 p(pq).
Resoluo
Utilizando a propriedade associativa da disjuno,

p(pq)(pp)q.
Pelo princpio do terceiro excludo, pp uma proposio
verdadeira.
Ento, porque V o elemento absorvente da disjuno e a
disjuno de duas proposies verdadeira se, e somente
se, pelo menos uma das proposies for verdadeira, tem-se
que p(pq)(pp)qVqV.
Portanto, o valor lgico de p(pq) verdade.

2.3 p(pq).
Resoluo
Utilizando a propriedade distributiva da conjuno
relativamente disjuno, tem-se p(pq)(pp)(pp).
Pelo princpio da no contradio, pp uma proposio
falsa.
Ento, como F o elemento neutro da disjuno, tem-se que

p(pq)(pp)(pp)F(pq)pq.
Logo, no possvel determinar o valor lgico da proposio

p(pq).

2.4* [p(pq)]q.
Resoluo
J se concluiu, na alnea anterior, que p(pq)pp.
Portanto, [p(pq)]qp(qq) e, usando a
propriedade associativa da conjuno,
[p(pq)]q(pq)q.
Pelo princpio da no contradio, qq uma proposio
falsa.
Ento, porque F o elemento absorvente da conjuno e
a conjuno de duas proposies verdadeira se, e
somente se, ambas forem verdadeiras, tem-se que
[p(pq)]q p(qqpFF.
Portanto, o valor lgico de [p(pq)]q falsidade.

2.5*[p(pq)]q.
Resoluo
Utilizando a propriedade distributiva da disjuno
relativamente conjuno, p(pq)(pp)(pp).
Pelo princpio do terceiro excludo, pp uma proposio
verdadeira. Ento, tem-se que p(pq)V(pp).
Como V o elemento neutro da conjuno, tem-se que
[p(pq)]q[V(pq)]q(pq)q.
Logo, utilizando, sucessivamente, a propriedade associativa da
disjuno, o princpio do terceiro excludo e o facto de V ser o
elemento absorvente da disjuno, tem-se que
[p(pq)]q(pq)qp(qq)pVV.
Portanto, o valor lgico de [ppq)]q verdade.

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

p(qr)

falsa.

Ver

resposta.
3.2 (pq)r verdadeira. Ver
resposta.

3.1 p(qr)
falsa.
Resoluo
Recordemos que a proposio implicao entre p e q falsa
se, e somente se, o antecedente (p) for verdadeiro e o
consequente (q) for falso. Logo, se
p(qr) falsa, conclui-se que a proposio p verdadeira
e a proposio

qr falsa. Analogamente, se qr

falsa, conclui-se que a proposio q verdadeira e a

proposio r falsa.
Portanto, a proposio p verdadeira, a proposio q
verdadeira e a proposio r falsa.

3.2 (pq)r verdadeira.

Resoluo
Recordemos que a conjuno de duas proposies
verdadeira se, e somente se, ambas foram verdadeiras.
Logo, as proposies (pq) e r so ambas verdadeiras.
Se (pq) verdadeira, ento pq falsa. A proposio
implicao entre p e q falsa se, e somente se, o
antecedente (p) for verdadeiro e o consequente (q) for
falso. Logo, a proposio p falsa e a proposio q
verdadeira.
Portanto, a proposio p falsa, a proposio q
verdadeira e a proposio r verdadeira.

Questo 4
*Sabe-se que (pq)(qr)p uma proposio
verdadeira.
Qual o valor lgico de p, de q e de r?
Ver resposta.

Resoluo
Se p fosse uma proposio falsa, como F o elemento
absorvente da conjuno, a proposio (pq)(qr)p
seria falsa, contrariando o enunciado. Assim, p uma
proposio verdadeira.
Analogamente se conclui que as proposies pq e qr
so ambas verdadeiras.
Se p e pq so proposies verdadeiras, conclui-se que q
verdadeira, uma vez que a proposio implicao falsa se, e
somente se, o antecedente for verdadeiro e o consequente
falso. Logo, a proposio q falsa.
Se q falsa, ento qr verdadeira independentemente do
valor lgico de r, ou seja, independentemente do valor lgico
de r.
Portanto, a proposio p verdadeira, a proposio q falsa e

Sugesto: Construa uma tabela de verdade para confirmar

os resultados obtidos ou visite http://www.wolframalpha.com/
.

Questo 5
Indique o valor lgico das seguintes proposies:
5.1 7 um nmero primo e 2 no um nmero primo. Ver
resposta.
5.2 Tanto
resposta.

como so nmeros irracionais. Ver

49

5.3 70 mltiplo de 7 e de 5. Ver resposta.

5.4 28 mltiplo de 7 ou de 8. Ver resposta.
5.5 111 um nmero primo ou 19 mltiplo de 9. Ver
resposta.

5.1 7 um nmero primo e 2 no um nmero primo.

Resoluo
A proposio 7 um nmero primo verdadeira.
A proposio 2 no um nmero primo falsa.
Como a conjuno de proposies verdadeira se, e
somente se, ambas forem verdadeiras, conclui-se que a
proposio dada tem valor lgico falso.

5.2 Tanto

como so nmeros

49

irracionais.
Resoluo
A proposio 49

vez que

um nmero irracional falsa, uma

49 7
um nmero natural.

A proposio um nmero irracional verdadeira.

Como a conjuno de proposies verdadeira se, e
somente se, ambas forem verdadeiras, conclui-se que a
proposio dada tem valor lgico falso.

5.3 70 mltiplo de 7 e de 5.
Resoluo
A proposio 70 mltiplo de 7 verdadeira.
A proposio 70 mltiplo de 5 verdadeira.
Como a conjuno de proposies verdadeira se, e
somente se, ambas forem verdadeiras, conclui-se que a
proposio dada tem valor lgico verdadeiro.

5.4 28 mltiplo de 7 ou de 8.
Resoluo
A proposio 28 mltiplo de 7 verdadeira.
A proposio 28 mltiplo de 8 falsa.
Como a disjuno de proposies falsa se, e somente
se, ambas forem falsas, conclui-se que a proposio dada
tem valor lgico verdadeiro.

5.5 111 um nmero primo ou 19 mltiplo de 9.

Resoluo
A proposio 111 um nmero primo falsa.
A proposio 19 mltiplo de 9 falsa.
Como a disjuno de proposies falsa se, e somente se,
ambas forem falsas, conclui-se que a proposio dada tem
valor lgico falso.

Questo 6
Indique o valor lgico das proposies abaixo.
6.1 igual a 3,14 ou a 3,1416. Ver resposta.
6.2 12 um nmero mltiplo de 4 ou de 7. Ver
resposta.

6.3 2 4

. Ver resposta.

6.4 9
um nmero irracional maior do que 1.
Ver resposta.
4
6.5
. Ver
3
3
5 2 3 3
resposta.

6.1 igual a 3,14 ou a 3,1416.

Resoluo
A proposio igual a 3,14 falsa.
A proposio igual a 3,1416 falsa.
Como a disjuno de proposies falsa se, e somente se,
ambas forem falsas, conclui-se que a proposio dada tem
valor lgico falso.

6.2 12 um nmero mltiplo de 4 ou de 7.

Resoluo
A proposio 12 mltiplo de 4 verdadeira.
A proposio 12 mltiplo de 7 falsa.
Como a disjuno de proposies falsa se, e somente se,
ambas forem falsas, conclui-se que a proposio dada tem
valor lgico verdadeiro.

6.3 2 4

Resoluo
A proposio

falsa.
2

4 3
A proposio
verdadeira.
4

4 5
Como a disjuno de proposies falsa se, e somente se,
ambas forem falsas, conclui-se que a proposio dada tem
valor lgico verdadeiro.

6.4
9
que 1.
4

um nmero irracional maior do

Resoluo
Observe-se que
9

. A proposio

um nmero
9
3

4
4 2
irracional falsa. A proposio
um nmero maior
9
4
do que 1 verdadeira.

Como a conjuno de proposies verdadeira se, e

somente se, ambas forem verdadeiras, conclui-se que a
proposio dada tem valor lgico falso.

6.5 5

2 3 3 33

Resoluo
A proposio
verdadeira.
5 2 3
A proposio
verdadeira.
3
33
Como a conjuno de proposies verdadeira se, e
somente se, ambas forem verdadeiras, conclui-se que a
proposio dada tem valor lgico verdadeiro.

Questo 7
Considere as proposies:
a:

7 um nmero irracional;
b: 7 3
;
c:1 7 2

7.1 Indique o valor lgico das proposies a, b e c. Ver

resposta.

7.2 Traduza em linguagem corrente, sem utilizar a palavra

no, as proposies abaixo e indique o respetivo valor
lgico.
7.2.1 ab. Ver resposta.
7.2.2 ab. Ver resposta.
7.2.3 bc. Ver resposta.

7.1 Indique o valor lgico das proposies a, b e c.

Resoluo
A proposio a verdadeira e as proposies b e c so
falsas.

7.2.1 ab.
Resoluo
ab traduz-se em linguagem corrente por:

7
nmero irracional inferior ou igual a 3.

um

Como as proposies a e b so ambas verdadeiras, ab

uma proposio verdadeira.

7.2.2 ab.
Resoluo

ab traduz-se em linguagem corrente por:

7

um

nmero racional ou superior a 3.

Como as proposiesa e b so ambas falsas, ab uma
proposio falsa.

7.2.3 bc.
Resoluo

bc traduz-se em linguagem corrente por: se

um
7
nmero inferior ou igual a 3, ento
superior ou
1 7

igual a 2.
Como as proposies b e c so ambas verdadeiras, bc
uma proposio verdadeira.

Questo 8
Identifique as operaes lgicas e as proposies elementares
envolvidas em cada uma das seguintes proposies e escrevaas em linguagem simblica.
11 4

(Por exemplo, Se

11

ento ou

11 4

11 4
11 4
2

ou

11

42

pode traduzir-se simbolicamente por a(bc) sendo a:

8.1 5163 mltiplo de 3 se, e s se, a soma do valor dos
, b:
c:
algarismos
desseenmero
for um.)mltiplo de 3. Ver
resposta
.
8.2
*Nem
102 um nmero mpar nem
11

um nmero

racional.
Ver3400
resposta.
8.3 *Como
termina por dois zeros, mltiplo de 2, de 5 e
de 4.
Ver resposta.

8.1 5163 mltiplo de 3 se, e s se, a soma do valor dos

algarismos desse nmero for um mltiplo de 3.
Resoluo
A proposio pode traduzir-se simbolicamente por ab
sendo a: 5163 mltiplo de 3 e b: a soma dos
algarismos de 5163 mltiplo de 3.

8.2 *Nem 102 um nmero mpar nem

nmero racional.

um

11

Resoluo
A proposio pode traduzir-se simbolicamente por
ab

11

sendo a: 102 e um nmero mpar e b:

nmero racional.

um

8.3 *Como 3400 termina por dois zeros, mltiplo de 2,

de 5 e de 4.
Resoluo
A proposio pode traduzir-se simbolicamente por a(bcd)
em que a: 3400 termina por dois zeros, b: 3400
mltiplo de 2, c: 3400 mltiplo de 5 e d: 3400
mltiplo de 4.

Questo 9

**Considere uma operao

, dita ou exclusivo ou

disjuno exclusiva, tal que, dadas proposies

p e q,

pq

verdadeira quando e apenas quando p e q tm valores

lgicos distintos. Resolva as questes que se seguem.
9.1 Dadas as proposies p e q, construa uma proposio
equivalente
a

pq

partindo de p e q e utilizando apenas as operaes ,

e . Ver resposta.

9.1 Dadas as proposies p e q, construa uma proposio

equivalente a

pq

partindo de p e q e utilizando apenas as operaes

, e .
Resoluo

p q p ~ q ~ p q

9.2 Indique, justificando, se, dadas as proposies p e q,

algumas das proposies que se seguem sempre
verdadeira.

9.2.1~ p q p q

9.2.2~ p q p q

9.2.3~ p q p q

9.2.4~ p q p q

. Ver resposta.
. Ver resposta.
. Ver resposta.
. Ver resposta.

9.2.1~ p q p q

Resoluo

Logo,
~ p q p q

no sempre verdadeira.

9.2.2~ p q p q

Resoluo

Logo,

~ p q p q

no sempre verdadeira.

9.2.3~ p q p q

Resoluo

Logo,
~ p q p q

no sempre verdadeira.

9.2.4~ p q p q

Resoluo

Logo,
~ p q p q

sempre verdadeira.