Site: http://recursos-para-matematica.webnode.

pt/

Introduo Lgica Bivalente Proposta de Resoluo

FICHA DE TRABALHO N. 1 MATEMTICA A - 10. ANO INTRODUO LGICA BI

PROPOSTA DE RESOLUO

Conhece a Matemtica e dominars o Mundo.

Galileu Galilei

GRUPO I ITENS

DE

ESCOLHA MLTIPLA

1. Se as proposies p e q tm o mesmo valor lgico, ento ou so ambas verdadeiras ou so ambas falsas. Assim:
a proposio p q sempre verdadeira, pois a equivalncia entre duas proposies falsa se somente se as proposies tiverem valores
lgicos diferentes.
a proposio p q sempre verdadeira, pois a implicao entre duas proposies falsa se e somente se o antecedente for

uma

proposio verdadeira e o consequente for uma proposio falsa.

a proposio p ~ q sempre verdadeira, pois a disjuno entre duas proposies falsa se e somente se ambas forem falsas. Logo, se as
proposies p e q forem verdadeiras, ento a proposio p ~ q verdadeira, visto que a proposio p verdadeira. Se as proposies p e q
forem falsas, ento a proposio ~ q verdadeira e portanto a proposio p ~ q verdadeira, visto que a proposio ~ q verdadeira.
a proposio p ~ q sempre falsa, pois a conjuno entre duas proposies verdadeira se e somente se ambas forem verdadeiras. Logo,
se as proposies p e q forem verdadeiras, ento a proposio ~ q

falsa e portanto a proposio

p~
q

falsa, visto que a proposio

~ q falsa. Se as proposies p e q forem falsas, ento a proposio p ~ q falsa, visto que a proposio p falsa.
Resposta: D
2. Tem-se que a proposio p q verdadeira. Portanto as proposies p e q tm o mesmo valor lgico.
Como a proposio ~ p r falsa, as proposies ~ p e r so ambas falsas, pois a disjuno entre duas condies falsa se e somente se
ambas forem falsas. Assim, como a proposio ~ p falsa, a proposio p verdadeira e consequentemente, a proposio q tambm
verdadeira, pois as proposies p e q tm o mesmo valor lgico.
Logo, verdade que a Maria tem uma licenciatura em Matemtica e que tem um mestrado em Fsica, mas falso que seja professora de
Matemtica.
Analisando as opes:
A Se a Maria licenciada em Matemtica e tem um mestrado em Fsica ento professora de Matemtica.
Esta proposio pode ser traduzida simbolicamente por p q r . Tem-se que a proposio p q verdadeira, pois as proposies p e q
so verdadeiras e a proposio r falsa. Logo a proposio p q r falsa pois a implicao entre duas proposies falsa se e somente
se o antecedente for uma proposio verdadeira e o consequente for uma proposio falsa.
B

A Maria tem uma licenciatura em Matemtica e no tem um mestrado em Fsica.

Facebook: https://www.facebook.com/recursos.para.matematicaFicha de Trabalho n. 1 Matemtica A 10. Ano Proposta de Resoluo 1

Introduo Lgica Bivalente Proposta de Resoluo

Esta proposio pode ser traduzida simbolicamente por

Site: http://recursos-para-matematica.webnode.pt/

p ~ q . A proposio ~ q falsa, visto que a proposio q verdadeira. Logo, a

proposio p ~ q falsa, pois a conjuno entre duas proposies s verdadeira se e somente se ambas forem verdadeiras.

Facebook: https://www.facebook.com/recursos.para.matematicaFicha de Trabalho n. 1 Matemtica A 10. Ano Proposta de Resoluo 2

A Maria licenciada em Matemtica se for professora de Matemtica.

Esta proposio pode ser traduzida simbolicamente por r p . Como a proposio r falsa e a proposio p verdadeira, a proposio
r p verdadeira, pois a implicao entre duas proposies falsa se e somente se o antecedente for uma proposio verdadeira e o
consequente for uma proposio falsa.
D

A Maria no tem um mestrado em Fsica ou professora de Matemtica.

Esta proposio pode ser traduzida simbolicamente por ~ q r . A proposio Como a proposio ~ q falsa visto que a proposio q
verdadeira. Como a proposio r tambm falsa, a proposio ~ q r falsa, p verdadeira, pois a disjuno entre duas proposies falsa se
e somente se ambas forem falsas.
Esta proposio pode ser traduzida simbolicamente por p q r . Tem-se que a proposio p q verdadeira, pois as proposies p e q
so verdadeiras e a proposio r falsa. Logo a proposio p q r falsa pois a implicao entre duas proposies falsa se e somente
se o antecedente for uma proposio verdadeira e o consequente for uma proposio falsa.
Resposta: C
3. Tem-se que:
a proposio

pq~
r

falsa. Portanto a proposio p verdadeira e a

proposio q ~
r

falsa, pois a implicao entre duas

proposies falsa se e somente se o antecedente for uma proposio verdadeira e o consequente for uma proposio falsa.
a disjuno entre duas proposies falsa se e somente se ambas forem falsas. Portanto, como a proposio q ~ r falsa, a proposio p
falsa e a proposio ~ r tambm falsa. Consequentemente, a proposio r verdadeira.
A proposio p verdadeira, a proposio q falsa e a proposio r verdadeira.
Resposta: B
4. Tem-se que:

p p ~ q q p ~ q q ~ p ~ q q ~ p ~ ~ q q ~ p q q ~ p q q ~ p q
i)

ii)

Logo, a negao da proposio p p ~ q q equivalente a:

p p ~ q q ~ ~ p q ~ ~ p ~ q p ~ q

i) Idempotncia: Se p uma proposio ento p p p e p p p .

ii)Propriedade associativa da disjuno.
Resposta: A
5.

1. Processo:
Se a proposio p for verdadeira, ento q p uma proposio verdadeira, pois a implicao entre duas proposies falsa se e somente se
o antecedente for uma proposio verdadeira e o consequente for uma proposio falsa. Logo a proposio
portanto tem o mesmo valor lgico que a proposio p.

p q
p

verdadeira e

Se a proposio p for falsa, ento a proposio

p q

tambm falsa, pois a conjuno entre duas proposies verdadeira se e

p
somente se ambas forem verdadeiras. Logo, a proposio p q p o mesmo valor lgico que a proposio p.

Assim, para quaisquer que sejam as proposies p e q, a proposio p q p tem sempre o mesmo valor lgico que a proposio p. Logo,
p q p p .
2. Processo: Tabela de Verdade

Logo,

~p

~q

qp

p q p

p q p p .

3. Processo:
Tem-se que, p q p p ~ q p p ~ q p p F ~ q p p F ~ q p F p .
i)

ii)

i)

i)

i) Se p uma proposio e F uma qualquer proposio falsa ento p F p (existncia de elemento neutro da disjuno) e p F F
(existncia de elemento absorvente da disjuno).
ii)Propriedade distributiva da disjuno em relao conjuno.
Resposta: A
6. Como a proposio p q

p ~ r ~ q

verdadeira, as proposies p q , p ~ r e ~ q so verdadeiras. Assim:

se a proposio ~ q verdadeira, ento a proposio q falsa.

se a proposio q falsa e a proposio p q verdadeira, ento a proposio p necessariamente falsa, pois a implicao de duas
proposies falsa se e somente se o antecedente for uma proposio verdadeira e o consequente for uma proposio falsa.
se a proposio p falsa e a proposio

p~
r

verdadeira, ento a proposio ~ r necessariamente verdadeira, pois a disjuno de

duas proposies falsa se e somente se ambas fossem falsas. Logo, se a proposio ~ r verdadeira, ento a proposio r falsa.
A proposio p falsa, a proposio q falsa e a proposio r falsa.
Resposta: D

7. Como a proposio ~ a b c
a

falsa, as proposies ~ a b c e a so falsas. Assim, se a proposio a falsa, ento a

proposio ~ a verdadeira. Logo, como a proposio

~ a b

falsa, a proposio b c tem de ser necessariamente falsa.

c
Portanto, como a implicao falsa se e somente se o antecedente for uma proposio verdadeira e o consequente for uma proposio falsa, vem
que a proposio b verdadeira e a proposio c falsa.
A proposio a falsa, a proposio b verdadeira e a proposio c falsa. Logo, a Joana tem um gato de cor preta.
Resposta: C

8. Recorrendo a uma tabela de verdade verifica.se que a nica proposio que no uma tautologia a da opo C:

pq

pqr

pr

qr

p r q r

ab

Logo, a proposio p q r p r q r no uma tautologia.

Usando tabelas de verdade verificar-se-ia que as proposies das restantes opes so tautologias. O mesmo tambm pode ser feito usando as
propriedades das operaes lgicas. Seja V uma qualquer proposio verdadeira:
A

p q p r p q r ~ p q ~ p r p q r ~ p q r p q r
~ ~ p q r p q r p q r p q r V
i)

p q p r p q r ~ p q ~ p r p q r ~ p ~ p q r p q r
~ p q r p q r ~ ~ p q r p q r
p q r p q r V
i)

p q r p r q r p q r ~ p r ~q r p q r r ~p ~q

p q r ~ p q r p q r ~ ~ p q r

p q r p q r V
i)

i) Como o antecedente e o consequente so a mesma proposio, a implicao sempre verdadeira.

Resposta: C

9. A resposta correcta a B. Fazendo uma tabela de verdade, vem:

~q

p~q

pp~q

Fazendo uma tabela de verdade para cada uma das restantes proposies, verificar-se-ia que nenhuma dessas tabelas igual dada.
Resposta: B
10. Tem-se:

p p q p p q p q p ~ p p q ~ p q p ~ p p q ~ p ~ q p
V q p ~ p ~ q V p ~ p p ~ q V p ~ q p ~ q ~ ~ p q
Resposta: D

GRUPO II ITENS

DE

RESPOSTA ABERTA

11.
11.1. A proposio pode ser reescrita da seguinte forma:
O Jos ainda no fez uma viagem aos Estados Unidos e, se j fez uma viagem Tailndia, ento, tambm j fez uma viagem China.
Portanto, em linguagem simblica, a proposio fica: ~ q r p .

Sabe-se que a proposio ~ p q

~ pr

falsa. Logo, como a implicao falsa se e somente se o antecedente for uma

proposio verdadeira e o consequente for uma proposio falsa, vem que ~ p q verdadeira e que ~ p r ~ p ~ r falsa. Assim:

se a proposio ~ p q verdadeira, ento as proposies ~ p e q so verdadeiras, pois a conjuno de duas proposies verdadeira se e
somente se ambas forem verdadeiras. Logo, a proposio p falsa.
como a proposio ~ p ~ r falsa e a proposio ~ p verdadeira, a proposio ~ r falsa, pois a conjuno de duas proposies
verdadeira se e somente se ambas forem verdadeiras. Logo, a proposio r verdadeira.
A proposio p falsa, a proposio q verdadeira e a proposio r verdadeira. Portanto, o Jos j esteve nos Estados Unidos e na
Tailndia mas no esteve na China.
11.3. Tem-se:

~ p q ~ p r ~ ~ p q ~ p ~ r p ~ q ~ p ~ r ~ q p ~ p ~ r
~ q p ~ p p ~ r ~ q V p ~ r ~ q p ~ r p ~ q ~ r

12.
12.1. Tem-se:

~ p ~ p q ~ ~ p ~ ~ p q p p ~ q p V p ~ q p V ~ q p V p
i)

i) Se p uma proposio e V uma qualquer proposio verdadeira ento p V p (existncia de elemento neutro da conjuno) e
p V V (existncia de elemento absorvente da conjuno).
12.2.

~p

pq

~ p q

~ p ~ p q

Logo, ~ p p q p .
13.
13.1.

~q

~qr

p ~ q r

13.2. Sabe-se que a proposio p ~ q r verdadeira. Logo, como a conjuno de duas proposies verdadeira se e somente se ambas
as proposies forem verdadeiras, vem que a proposio p verdadeira e a proposio ~ q r tambm verdadeira. Assim:
se a proposio p verdadeira, ento a proposio r p verdadeira, pois a implicao falsa se e somente se o antecedente for uma
proposio verdadeira e o consequente for uma proposio falsa.

 tem-se que como a ~ ~ q r q ~ r ~ r q , ou seja, a proposio ~ r q a negao da proposio ~ q r . Portanto, como a

proposio ~ q r verdadeira, a proposio ~ r q falsa.
Logo, a proposio r p ~ r q falsa, pois a equivalncia de duas proposies falsa se e somente se as duas proposies tiverem
valores lgicos diferentes.

14.
14.1. A proposio X Y pode ser traduzida em linguagem corrente como: se X ento Y. A proposio X Y pode ser traduzida em
linguagem corrente como: X se e somente se Y. Assim, a proposio
forma:

p q ~ r pode ser traduzida para linguagem corrente da seguinte

Se o Jos passou as suas frias no Algarve, ento, foi Praia da Rocha se e somente se no foi Praia da Ilha de Tavira.
14.2 A proposio pode ser reescrita da seguinte forma:
Se o Jos passou frias no Algarve, ento, foi Praia da Rocha e foi Praia da Ilha de Tavira.
Portanto, em linguagem simblica, a proposio fica: p q r .
15.
15.1. Tem-se, p p q p p V

p q p
i)

p V q p p V p p p ~ p p V

i) Se p uma proposio e V uma qualquer proposio verdadeira ento p V p (existncia de elemento neutro da conjuno)

15.2. Tem-se:
~ ~ p p q p q ~ ~ p p ~ p q p q ~ F ~ p q p q ~ ~ p q p q

p ~ q p q p ~ q q p F p
15.3. Tem-se:
p p p q p ~ p p q p ~ p p ~ p q p V ~ p q ~ p ~ p q
~ p ~ p q ~ p q
15.4. Tem-se:

p p ~ q ~ p q ~ p p ~ q ~ p q ~ p p ~ p ~ q ~ p q
V ~ p ~ q ~ p q ~ p ~ q ~ p q ~ p ~ p q
~pF~p
15.5. Tem-se:

~ p ~ q p q ~ ~ p ~ q p q ~ ~ p ~ q p q ~ ~ p ~ q p ~ q q

~ ~ p ~ q pV ~ ~ p ~ q p ~ ~ p p ~ q ~ V ~ q
~VF

15.6. Tem-se:

p q ~ p q p ~ q q p ~ p p ~ q q V p ~ q q p ~ q q p q ~ q
q pV q p p q
15.7. Tem-se:
q ~ p ~ q q ~ q ~ ~ p ~ q q ~ q p q q ~ q p q q ~ q p q
~ q p ~ q q ~ q pV ~ q p p ~ q
15.8. Tem-se:

p ~ p q ~ p q p ~ p ~ q ~ p q p ~ p p ~ q ~ p q F p ~ q ~ p q
p ~ q ~ p q ~ p ~ q ~ p q ~ p q ~ p q ~ p q
16.
16.1.

~p

~q

p~q

q p ~ q

~pq

q p ~ q ~ p q

Logo, q p ~ q ~ p q V , sendo V uma qualquer proposio verdadeira. Portanto, para quaisquer que sejam as proposies p
e q, q p ~ q ~ p q sempre verdadeira, ou seja, uma tautologia.
16.2. Tem-se:

q p ~ q ~ p q q p q ~ q ~ p q q p F ~ p q q p ~ p q
~ q p ~ p q ~ q ~ p ~ p q ~ q ~ p ~ p q
~ q q ~ p ~ p V ~ p V
Logo, q p ~ q ~ p q V , sendo V uma qualquer proposio verdadeira. Portanto, para quaisquer que sejam as proposies p

e q, q p ~ q ~ p q sempre verdadeira, ou seja, uma tautologia.

17.
17.1. Usando uma tabela de verdade:

pr

p r q r

qr

pq

pqr
b

ab

Portanto, a proposio

p r q r p q

uma tautologia, pois sempre verdadeira para quaisquer que sejam a

r
proposies, p, q e r.
17.2.

a) Tem-se, p r q r ~ p r ~ q r r ~ p ~ q ~ p ~ q r ~ p q r p q r .
b) Tem-se, p q p r ~ p q ~ p r ~ p q r p q r
18. Podemos resolver o problema recorrendo a uma tabela de verdade:

~c

ab

bc

ac

b~c

Na tabela existe uma nica linha onde as proposies a b e b c so verdadeiras e as proposies a c e b ~ c so falsas. Portanto,
as proposies a b e b c so verdadeiras e as proposies a c e b ~ c so falsas e a proposio a falsa e se as proposies b e c
so verdadeiras.

Logo, o Pedro tem um carro preto e tem outro cinzento.

19. Tem-se:
a proposio a falsa, pois existem nmero primos que no so mpares. O nmero 2 primo e no mpar.

a proposio b verdadeira. Um trapzio um quadriltero com pelo menos dois lados paralelos. Logo, um quadrado um trapzio.
a proposio c falsa, pois os nmeros 3, 4 e 5 so inteiros consecutivos e so soluo da equao x y z . De facto:
2

3 4 5 9 16 25 25 25 , que uma proposio verdadeira.

2

19.1. A proposio c falsa, consequentemente, a proposio ~ c verdadeira. Logo, como a proposio b verdadeira, vem que a proposio
b ~ c verdadeira.
Portanto, como a proposio a falsa e a proposio b ~ c verdadeira, a proposio a b ~ c verdadeira.

19.2. A proposio a falsa e a proposio b verdadeira. Logo, a proposio a b verdadeira. Como a proposio c falsa, vem que a
proposio b c falsa.
Portanto, como a proposio a b verdadeira e a proposio b c falsa, a proposio a b b c falsa.
19.3. Como as proposies a e c o mesmo valor lgico (falso), a proposio a c verdadeira. Como a proposio a falsa e a proposio b
verdadeira, a proposio a b verdadeira. A proposio ~ a verdadeira, pois a proposio a falsa. Logo, como as proposies ~
a e a b so verdadeiras, a proposio ~ a a b verdadeira.
Portanto, como as proposies a c e ~ a a b so verdadeiras, a proposio a c ~ a a b verdadeira.
19.4. A proposio ~ a verdadeira, pois a proposio a falsa e a proposio ~ b falsa, pois a proposio b verdadeira. Logo, a
proposio ~ a ~ b falsa. Como as proposies c e ~ a ~ b so falsas, a proposio ~ a ~ b c falsa.
Portanto, a proposio ~ ~ a ~ b c verdadeira, pois a proposio ~ a ~ b c falsa.

19.5. Como proposio a falsa e a proposio b verdadeira, a proposio a b verdadeira. A proposio ~ c verdadeira, pois a
proposio c falsa.
Logo, como as proposies ~ c e a b so verdadeiras, a proposio ~ c a b verdadeira. Como
as proposies b e ~ c a b so verdadeiras, a proposio b ~ c a b verdadeira.
Por fim, a proposio ~ a verdadeira, pois a proposio a falsa. Portanto, como as proposies ~ a e
verdadeiras, a proposio ~ a b ~ c a b verdadeira.

b ~ c a
b

so

19.6. Como proposio a falsa e a proposio b verdadeira, a proposio a b verdadeira. Como a proposio b verdadeira e a
proposio c falsa, a proposio b c falsa.

Portanto, como a proposio a b verdadeira e a proposio b c falsa, a proposio a b b c falsa.

20.
20.1.

~p

pq

~pq

Como as colunas correspondentes s proposies p

q

e ~p
q

so iguais, tem-se que, para quaisquer proposies p e q,

pq~pq.
20.2.

pq

pq

qp

p q q p

Como as colunas correspondentes s proposies p q e

p q q p so iguais, tem-se que, para quaisquer proposies p e q,

p q p q q p .
20.3.

pq

qr

pr

p q q r

a pr

Portanto, p q q r p r uma tautologia, pois verdadeira para quaisquer proposies p, q e r.

20.4.

pq

pq

p q p q

Como as colunas correspondentes s proposies

p q p q

p q p q p q .

e p
q

quaisquer proposies p e q,
so iguais, tem-se que, para

20.5.

pq

pq

pqpq

Portanto, p q p q uma tautologia, pois verdadeira para quaisquer proposies p, q e r. Logo, p q p q V , sendo V uma
qualquer proposio verdadeira.
21.
21.1. Tem-se, ~ p p q ~ p p ~ p q F ~ p q ~ p q ~ p ~ q ~ ~ q p ~ q p .
21.2. Tem-se:

~ p q p q ~ p q p q ~ ~ p q p q ~ ~ ~ p q p q
~ p p q q ~ ~ V q q ~ ~ V q ~ F q ~ F V

~ ~

21.3. Tem-se:
~ p q ~ p q q p ~ ~ p q ~ q p ~ ~ p q ~ ~ q p
~ ~ p ~ q ~ ~ q ~ p p ~ q q ~ p p ~ q ~ p q

21.4. Tem-se:

p q p q ~ p q p q ~ p ~ q p q ~ p p q ~ q p q

~ p p ~ p q ~ q p ~ q q

~ q pV ~ p q ~ q p

~ p p q ~ q p q

V ~ p q

p q q p p q

21.5. Tem-se, p q r ~ p q r ~ p ~ q r ~ p ~ q r ~ p q r p q r

21.6. Tem-se:

p q p r ~ q p q p ~ q r ~ q p q p ~ q r ~ q p q ~ q r ~ q
p F r ~ q p r ~ q p ~ q r p q r
21.7. Tem-se:

p p q p p q p F p q p V p q p F q p V q
i)

p F p V p p p
i) Se p uma proposio e F uma qualquer proposio falsa ento p F p (existncia de elemento neutro da disjuno) e p V p
(existncia de elemento neutro da conjuno).
21.8. Tem-se:

p ~ p q ~ p ~ q p ~ p p q ~ p ~ q V p q ~ p q p q ~ p q F
22.
22.1. Esta proposio do tipo p a menos que q, onde p: O Carlos no sai de casa quando est a chover e q: tenha aulas que o mesmo
que se ~ q ento p. A proposio p: O Carlos no sai de casa quando est a chover pode ser reescrita da seguinte forma:
p: Se no estiver a chover, ento, o Carlos no sai de casa
Assim, tem-se que ~ q ~ c e p a ~ b . Portanto, em linguagem simblica, a proposio fica: ~ c a ~ b .

Outra resoluo: A proposio pode ser interpretada da seguinte forma:

Se o Carlos no tiver aulas e se estiver a chover, ento, o Carlos no sai de casa

Portanto, em linguagem simblica, a proposio fica: ~ c a ~ b .
As duas formas so equivalentes: ~ c a ~ b c ~ a ~ b c ~ a ~ b ~ c ~ a ~ b ~ c a ~ b

22.2. A proposio X
Y

pode ser traduzida em linguagem corrente como: X ou Y. A proposio X Y pode ser traduzida em linguagem

corrente como: se X ento Y ou ento, Y quando X. Assim, a proposio ~ a c b pode ser traduzida para linguagem corrente da seguinte
forma:
Se no estiver a chover ou se tiver aulas, ento, o Carlos sai de casa. ou O Carlos sai de casa quando no est a chover ou quando tem aulas.
23.
23.1.
a) Tem-se que

p q ~ p q ~ p ~ q .

Como p q verdadeira, vem que ~ p ~ q tambm verdadeira e consequentemente, p ~ q falsa.

b) A proposio p q verdadeira. Logo, podem ocorrer trs casos: as proposies p e q so ambas verdadeiras; as proposies p e q so
ambas falsas; a proposio p falsa e a proposio q verdadeira.
1. Caso - as proposies p e q so ambas verdadeiras:
Se a proposio q verdadeira, ento, a proposio r p q

necessariamente verdadeira, pois a implicao entre duas proposies

falsa se e somente se o antecedente for uma proposio verdadeira e o consequente for uma proposio falsa.
2. Caso - as proposies p e q so ambas falsas:
Se a proposio p falsa, ento, a proposio r p falsa, pois a conjuno de duas proposies verdadeira se e somente se ambas forem
verdadeiras. Logo, se a proposio r p falsa, ento, a proposio r p q verdadeira.
3. Caso a proposio p falsa e a proposio q verdadeira:
As justificaes dadas nos 1. e 2. casos podem ser usadas para justificar que neste caso a proposio r p q verdadeira.
Portanto, a proposio r p q verdadeira.
c) A proposio p q verdadeira. Logo, podem ocorrer trs casos referidos na alnea anterior:
1. Caso - as proposies p e q so ambas verdadeiras:
Se a proposio q verdadeira, ento, a proposio r q necessariamente verdadeira, pois a implicao entre duas proposies falsa se e
somente se o antecedente for uma proposio verdadeira e o consequente for uma proposio falsa. Consequentemente, a proposi o

p r r q necessariamente verdadeira, pois a disjuno entre duas proposies falsa se e somente se ambas forem falsas.
2. Caso - as proposies p e q so ambas falsas:
Se a proposio p falsa, ento, a proposio p r

verdadeira, pois a implicao entre duas proposies falsa se e somente se o

antecedente for uma proposio verdadeira e o consequente for uma proposio falsa. Consequentemente, a proposio p r r q
necessariamente verdadeira, pois a disjuno entre duas proposies falsa se e somente se ambas forem falsas.

3. Caso a proposio p falsa e a proposio q verdadeira:

As justificaes dadas nos 1. e 2. casos podem ser usadas para justificar que neste caso a proposio p r r q verdadeira.
Portanto, a proposio p r r q verdadeira.

23.2. As proposies p q e

p q ~ q ~ r r so verdadeiras. Logo, a proposio ~ q ~ r r

verdadeira. Assim:

Como a conjuno de duas proposies verdadeira se e somente se ambas forem verdadeiras, vem que as proposies ~ q ~ r e r so
verdadeiras.
A proposio ~ r falsa, visto que a proposio r verdadeira. Como a proposio ~ q ~ r verdadeira e como a disjuno de duas
proposies falsa se e somente se ambas forem falsas, conclui-se que a proposio ~ q verdadeira e consequentemente a proposio q
falsa.
Como a proposio p q verdadeira e como a proposio q falsa, vem que a proposio p falsa.
A proposio p falsa, a proposio q falsa e a proposio r verdadeira.
23.3. Tem-se que:

p ~ r q ~ p p ~ r ~ q ~ p p r ~ q ~ p ~ p ~ p r ~ q ~ p r ~ q
Como

p q ~ p ~

e como a proposio p
q

verdadeira, vem que a proposio

~p~

verdadeira e

consequentemente, a proposio p ~ q falsa. Portanto, a proposio ~ p r ~ q falsa.

A disjuno entre duas ou mais proposies falsa se e somente se todas as proposies forem falsas. Logo, as proposies ~ p , ~ q e r so
falsas. Consequentemente as proposies p e q so verdadeiras.
A proposio p verdadeira, a proposio q verdadeira e a proposio r falsa.
24. Podemos resolver o problema recorrendo a uma tabela de verdade:

~r

pq

pq

pq

rpq

~ r p q

~ ~ r p q

Analisando a tabela verifica-se que sempre que a proposio p

q
~ ~ r p q falsa.

A proposio ~ ~ r p q
falsa.

falsa e que a proposio r

pq

 verdadeira, a proposio

25.
25.1. A proposio

p ~ r p ~ q

falsa. Logo, como a disjuno de duas proposies falsa se e somente se ambas forem falsas,

vem que as proposies p ~ r e p ~ q so falsas. Assim:

como a proposio

p~
q

falsa, vem que a proposio p verdadeira e a proposio ~ q falsa, pois a implicao entre duas

proposies falsa se e somente se o antecedente for uma proposio verdadeira e o consequente for uma proposio falsa. Consequentemente,
a proposio q verdadeira.
como a proposio p ~ r falsa e a proposio p verdadeira, vem que a proposio ~ r falsa, pois a disjuno entre duas proposies
verdadeira se e somente se ambas forem verdadeiras. Consequentemente a proposio r verdadeira.
As proposies p, q e r so verdadeiras.
~ p q r falsa. Logo, como a implicao entre duas proposies falsa se e somente se o antecedente for uma

25.2. A proposio

proposio verdadeira e o consequente for uma proposio falsa, vem que a proposio ~ p verdadeira e a proposio q r falsa.
Consequentemente, a proposio p falsa. Da mesma forma, como a proposio q r falsa, conclui-se que a proposio q verdadeira e a
proposio r falsa.
A proposio p falsa, a proposio q verdadeira e a proposio r falsa.
25.3. A proposio ~ p r ~ q p ~ r verdadeira. Logo, como a conjuno de duas ou mais proposies verdadeira se e
somente se todas forem verdadeiras, vem que as proposies ~ p r , ~ q p e ~ r so verdadeiras. Assim:
a proposio ~ r verdadeira, consequentemente aa proposio r falsa.
como a proposio ~ p r verdadeira e a proposio r falsa, vem que a proposio ~ p falsa, pois a implicao entre duas
proposies falsa se e somente se o antecedente for uma proposio verdadeira e o consequente for uma proposio falsa. Consequentemente,
a proposio p verdadeira.
como a proposio ~ q p verdadeira, vem que as proposies p e ~ q tm o mesmo valor lgico. Como a proposio p verdadeira, concluise que a proposio ~ q tambm verdadeira. Logo, a proposio q falsa.
A proposio p verdadeira, a proposio q falsa e a proposio r falsa.
Nota: o exerccio 25. poderia ter sido resolvido recorrendo a tabelas de verdade, a exemplo do que se fez no item 24. Para o item 25.3. ficaria:

~p

~q

~r

~pr

~qp

~ p r ~ q p ~ r

Analisando a tabela verifica-se a proposio ~ p r ~ q p ~ r

proposio q falsa e a proposio r falsa.

verdadeira se e somente se proposio p verdadeira, a