pt/
FICHA
DE
PROPOSTA
LGICA BIVALENTE
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.
Esta proposio pode ser traduzida simbolicamente por 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.
Site: http://recursos-para-matematica.webnode.pt/
p p ~ q q p ~ q q ~ p ~ q q ~ p ~ ~ q q ~ p q q ~ p q q ~ p q
i)
p p ~ q q
~
ii )
equivalente a:
p p ~ q q ~ ~ p q ~ ~ p ~ q p ~ q
Site: http://recursos-para-matematica.webnode.pt/
Se a proposio p for falsa, ento a proposio p q p tambm falsa, pois a conjuno entre duas proposies verdadeira se e
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 .
~p
~q
q p
p q p
Logo, 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 c falsa, a proposio b c tem de ser necessariamente falsa.
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
Site: http://recursos-para-matematica.webnode.pt/
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
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)
Site: http://recursos-para-matematica.webnode.pt/
~q
p~q
p p~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 .
11.2. Sabe-se que a proposio ~ p q ~ p r 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
Site: http://recursos-para-matematica.webnode.pt/
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.
Facebook: https://www.facebook.com/recursos.para.matematica Ficha de Trabalho n. 1 Matemtica A 10. Ano Proposta de Resoluo 6
Site: http://recursos-para-matematica.webnode.pt/
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 p q ~ r pode ser traduzida para linguagem corrente da seguinte
forma:
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 p V q p p V p p p ~ p p V
i)
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
~ p F ~ p
15.5. Tem-se:
~ p ~ q p q ~ ~ p ~ q p q ~ ~ p ~ q p q ~ ~ p ~ q p ~ q q
~ ~ p ~ q p V ~ ~ p ~ q p ~ ~ p p ~ q ~ V ~ q
~V F
Site: http://recursos-para-matematica.webnode.pt/
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 p V 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 p V ~ 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.
Site: http://recursos-para-matematica.webnode.pt/
17.
17.1. Usando uma tabela de verdade:
pr
p r q r
qr
pq
pqr
ab
Portanto, a proposio
p r q r p q 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.
Site: http://recursos-para-matematica.webnode.pt/
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 x2 y 2 z 2 . De facto:
32 42 52 9 16 25 25 25 , que uma proposio verdadeira.
19.1. A proposio c falsa, consequentemente, a proposio ~ c verdadeira. Logo, como a proposio b verdadeira, vem que a proposio
b ~ c verdadeira.
Site: http://recursos-para-matematica.webnode.pt/
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
q p
p q q p
p q q p
p q p q q p .
20.3.
pq
qr
pr
p q q r
a p r
Site: http://recursos-para-matematica.webnode.pt/
20.4.
pq
pq
p q p q
p q p q
p q p q p q .
20.5.
pq
pq
pq pq
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
Site: http://recursos-para-matematica.webnode.pt/
21.4. Tem-se:
p q p q ~ p q p q ~ p ~ q p q ~ p p q ~ q p q
~ p p q ~ q p q ~ p p ~ p q ~ q p ~ q q
V ~ p q ~ q p V ~ p q ~ q p
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
Site: http://recursos-para-matematica.webnode.pt/
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 proposio
p r r q
necessariamente verdadeira, pois a disjuno entre duas proposies falsa se e somente se ambas forem falsas.
Site: http://recursos-para-matematica.webnode.pt/
p ~ r q ~ p p ~ r ~ q ~ p p r ~ q ~ p ~ p ~ p r ~ q ~ p r ~ q
Como
p q ~ p ~ q
~r
pq
pq
pq
r pq
~ r p q
~ ~ r p q
Analisando a tabela verifica-se que sempre que a proposio p q falsa e que a proposio r p q verdadeira, a proposio
~ ~ r p q falsa.
A proposio ~ ~ r p q falsa.
Site: http://recursos-para-matematica.webnode.pt/
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.
25.2. A proposio ~ p q r falsa. Logo, como a implicao entre duas proposies falsa se e somente se o antecedente for uma
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,
conclui-se 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
~q p
~ p r ~ q p ~ r
Site: http://recursos-para-matematica.webnode.pt/