Aula 04

1
CURSO ON-LINE RACIOCNIO LGICO P/ INSS

PROFESSOR: GUILHERME NEVES
www.pontodosconcursos.com.br
Aula 4 INSS
Tautologia. ................................................................................................................................... 2
Contradio. ................................................................................................................................ 5
Contingncia. ............................................................................................................................... 6
Equivalncias Lgicas . ............................................................................................................... 20
Relao das questes comentadas nesta aula. ......................................................................... 26
Gabaritos . .................................................................................................................................. 29

2
Ol pessoal!
Estudaremos hoje:
- tautologia, contradio e contingncia
- equivalncias lgicas
Sem mais delongas, vamos comear.
Tautologia
Vimos na aula passada que o nmero de linhas de uma tabela-verdade 2
n
(em que n
o nmero de proposies simples).
Vamos considerar trs proposies quaisquer p, q e r. Assim, qualquer tabela-verdade
envolvendo apenas estas trs proposies ter 2
3
= 8 linhas.
Desta forma, vamos construir a tabela-verdade da proposio ( ) (~ ) p r q r .
E o que significa construir a tabela-verdade desta proposio?
Significa dispor em uma tabela todas as possibilidades de valorao para esta
proposio. Ou seja, estamos preocupados em responder quando que esta
proposio verdadeira e quando que ela falsa.
Para tal tarefa, devemos comear com a seguinte disposio:
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Neste comeo de tabela, esto dispostas todas as possibilidades de valoraes
destas 3 proposies. Observe que h um padro na construo deste incio.
Na primeira coluna, temos 4 V seguidos de 4 F. Na segunda coluna temos 2 V
seguidos de 2 F alternadamente. Por fim, na terceira coluna temos V e F que se
alternam.
Pois bem toda tabela-verdade envolvendo trs proposies comea assim.
Pois bem, queremos construir a tabela-verdade da proposio ( ) (~ ) p r q r .

3
Observe que no aparece a proposio q propriamente dia e sim a sua negao.
Portanto, o primeiro passo construir a negao de q. Lembre-se que se uma
proposio verdadeira, a sua negao falsa e reciprocamente.
p q
r
~q
V V V F
V V F F
V F V V
V F F V
F V V F
F V F F
F F V V
F F F V
Vamos obedecer a ordem de preferncia. Vamos construir as proposies compostas
que esto dentro dos parnteses. Comecemos por p A r. Devemos conectar a
proposio p com a proposio r atravs do conectivo e. Lembre-se que uma
proposio composta pelo e s verdadeira quando os dois componentes so
verdadeiros. Vamos selecionar as linhas em que ambas p e r so verdadeiras. Todas
as outras possibilidades tornam a composta p A r falsa.
p q
r
~q p r
V V V F V
V V F F F
V F V V V
V F F V F
F V V F F
F V F F F
F F V V F
F F F V F
Vamos agora construir a segunda proposio composta que est dentro de
parnteses: ~q v r.
Lembre-se que uma proposio composta pelo conectivo ou verdadeira quando
pelo menos um dos dois componentes for verdadeiro. Vamos nos focar apenas nas
linhas em que pelo menos uma das duas ~q ou r for verdadeira.
Valores opostos!!

4
p q
r
~q p r ~q r
V V V F V V
V V F F F F
V F V V V V
V F F V F V
F V V F F V
F V F F F F
F F V V F V
F F F V F V
Observe que tanto na linha 2 quanto na linha 6 as duas proposies so falsas, e
portanto, a composta construda falsa nestes casos.
Podemos agora, finalmente construir a composta ( ) (~ ) p r q r . Lembre-se que
h apenas um caso em que a composta pelo se..., ento falsa: quando o primeiro
componente for verdadeiro e o segundo componente falso. Vamos olhar apenas as
duas ltimas colunas.
Vejamos cada linha de per si:
1 linha: V V (o condicional verdadeiro).
2 linha: F F (o condicional verdadeiro).
3 linha: V V (o condicional verdadeiro).
4 linha: F V (o condicional verdadeiro).
6 linha: F F (o condicional verdadeiro).
Desta forma:
p q
r
~q p r ~q r
( ) (~ ) p r q r
V V V F V V V
V V F F F F V
V F V V V V V
V F F V F V V
F V V F F V V
F V F F F F V
F F V V F V V
F F F V F V V
Conclumos que a proposio composta ( ) (~ ) p r q r sempre verdadeira,
independentemente dos valores atribudos s proposies p, q c r.
Dizemos ento que a proposio ( ) (~ ) p r q r uma tautologia (ou
proposio logicamente verdadeira). Como diz L. Hegenberg em seu Dicionrio de

5
Lgica: Tautologia, no clculo proposicional, uma proposio invariavelmente
verdadeira sejam quais forem os valores-verdade de suas proposies
constituintes.
Ento isso: se alguma questo perguntar se determinada proposio uma
tautologia, devemos construir a sua tabela-verdade e verificar se ela sempre
verdadeira.
Contradio
Da mesma maneira, podemos definir contradio (ou proposio logicamente
falsa) como uma proposio composta que sempre falsa. Vamos mostrar, por
exemplo, que a proposio composta (~p A q) - (p v ~q) uma contradio.
Ora, como estamos trabalhando com apenas duas proposies simples, ento o
nmero de linhas da tabela-verdade ser igual a 2
2
= 4.
p q
V V
V F
F V
F F
q
O primeiro passo construir as negaes destas duas proposies simples.
p ~p
V
~q
V F F
V F F V
F V V F
F F V V
Vamos agora construir a proposio composta que est no primeiro par de
parnteses: ~p A q
q
. Foque seu olhar na terceira e na segunda coluna. Quando que
uma proposio composta pelo conectivo e verdadeira? Quando os dois
componentes so verdadeiros. Desta forma, a composta s ser verdadeira na
terceira linha.
p ~p
V
~q ~p A q
V F F F
V F F V F
F V V F V
F F V V F

6
Vamos construir a proposio composta que est no segundo par de parnteses:
p v ~q. Devemos olhar agora apenas para a primeira e quarta colunas. Quando que
uma proposio composta pelo conectivo ou verdadeira? Quando pelo menos um
dos dois componentes for verdadeiro. Desta maneira, a composta ser verdadeira na
1, 2 e 4 linhas.
p ~p q ~p A q ~q p v ~q
V V F F F V
V F F V F V
F V V F V F
F F V V F V
A composta s falsa na terceira linha em que ambas, p e ~q so falsas.
Finalmente podemos construir a tabela-verdade da proposio (~p A q) -(p v ~q).
Vamos olhar apenas para as duas ltimas colunas. Devemos lig-las atravs do
conectivo ...se e somente se.... Quando que uma proposio composta pelo
conectivo ...se e somente se... verdadeira? Quando os dois componentes possuem
o MESMO valor lgico. Acontece que as duas ltimas colunas possuem valores
lgicos contrrios. Desta forma, ela nunca poder ser verdadeira.
p q ~p ~q ~p A q p v ~q (~p A q) - (p v ~q)
V V F F F V F
V F F V F V F
F V V F V F F
F F V V F V F
J que a composta (~p A q) - (p v ~q) sempre falsa, a denominamos de
contradio (ou proposio logicamente falsa).
Contingncia
Contingncia uma proposio composta que pode verdadeira e pode ser falsa.
Vamos construir a tabela-verdade da proposio p - (q A r).
Lembre-se que o nmero de linhas de uma tabela verdade composta por n
proposies simples igual a 2
n
.
Como so 3 proposies simples componentes, ento a tabela ter 2
3
=8 linhas.
Para calcular o valor lgico de p - (q A r), devemos calcular o valor lgico da
proposio (q A r) e, em seguida, conectar a proposio p com (q A r) atravs do
conectivo se..., ento....

7
p q r q A r p - (q A r)
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Este o modelo inicial de uma tabela-verdade composta por 3 proposies simples.
Para listar todas as possibilidades, devemos proceder assim:
Para a primeira proposio, colocamos 4 Vs seguidos de 4 Fs.
Para a segunda proposio, colocamos 2 V, 2F, 2V, 2F.
Para a terceira proposio colocamos 1V, 1F, 1V, 1F, 1V, 1F, 1V, 1F.
Lembre-se que uma proposio composta pelo conectivo e (A) s verdadeira
quando todas as proposies componentes forem verdadeiras.
Portanto, a proposio q A r verdadeira nas linhas 1 e 5.
V V V V
V V F F
V F V F
V F F F
F V V V
F V F F
F F V F
F F F F
Vamos agora conectar a proposio p com a proposio q A r formando a proposio
p - (q A r). Lembre-se que uma proposio do tipo A - B s falsa quando A
verdadeira e B falsa. Ou seja, uma condicional s falsa quando o antecedente
verdadeiro e o consequente falso.
O antecedente a proposio p (1 coluna) e o consequente a proposio q A r (4
coluna).
V V V V V
V V F F F
V F V F F
V F F F F
F V V V V
F V F F V
F F V F V
F F F F V

8
Observe que a proposio pode ser verdadeira e pode ser falsa, dependendo dos
valores atribudos s proposies p,q e r.
Vamos treinar um pouco mais os conceitos abordados.
Exemplo: Verifique se a proposio composta ( ) ~ p q q uma contradio.
Resoluo
Basta construir a tabela-verdade que possui 2
2
=4 linhas. Para determinar o valor
lgico de ( ) ~ p q q devemos antes determinar os valores de p q e de ~q .
Lembre-se que a proposio p v q verdadeira quando pelo menos um dos dois
componentes for verdadeiro.
p q p q
V V V
V F V
F V V
F F F
Vamos agora construir a negao de q. Seus valores devem ser contrrios aos valores
de q.
p q p q ~q
V V V F
V F V V
F V V F
F F F V
Finalmente vamos construir a composta ( ) ~ p q q . Para isto, vamos conectar a
terceira coluna com a quarta coluna atravs do conectivo e. Lembre-se que a
composta pelo e s verdadeira quando os dois componentes so verdadeiros.
p q p q
~q
( ) ~ p q q
V V V F F
V F V V V
F V V F F
F F F V F
Resposta: A proposio ( ) ~ p q q admite valores V e F e, portanto, no se trata
de uma contradio. Trata-se de uma contingncia.

9
Exemplo: Determine se a proposio ( ) ( ) p q p q uma tautologia, contradio
ou uma contingncia.
Resoluo
A tabela-verdade possui 2 = 4 linhas. Vamos comear construindo a proposio
composta que est no primeiro par de parnteses: p A q.
Devemos conectar a proposio p com a proposio q atravs do conectivo e.
Lembre-se que uma proposio composta pelo conectivo e s ser verdadeira
quando os dois componentes forem verdadeiros.
p q p q
V V V
V F F
F V F
F F F
Vamos agora construir a proposio composta que est no segundo par de
parnteses: p v q. Lembre-se que a composta p v q s verdadeira quando pelo
menos um dos dois componentes for verdadeiro. Isto acontece nas trs primeiras
linhas.
p q p q p q
V V V V
V F F V
F V F V
F F F F
Finalmente vamos construir a composta ( ) ( ) p q p q . Devemos conectar a
terceira coluna com a quarta coluna atravs do conectivo se...,ento.... Lembre-se
que uma proposio do tipo A - B s falsa quando A verdadeiro e B falso. Como
isto nunca acontece, ento a composta sempre verdadeira.
p q p q
p q
( ) ( ) p q p q
V V V V V
V F F V V
F V F V V
F F F F V
Por definio, ( ) ( ) p q p q uma tautologia.

10
01. (TRT-9 Regio/2004/FCC) Considere a seguinte proposio Na eleio para a
prefeitura, o candidato A ser eleito ou no ser eleito. Do ponto de vista lgico, a
afirmao da proposio caracteriza:
a) um silogismo
b) uma tautologia
c) uma equivalncia
d) uma contingncia
e) uma contradio
Resoluo
Chamemos de p a proposio p : O candidato A ser eleito. A sua negao ~p : O
candidato A no ser eleito. A proposio do enunciado pode ento ser representada
por ~ p p . Vamos construir sua tabela-verdade que possui 2
1
=2 linhas.
p ~p ~ p p
V F V
F V V
Por definio, a proposio ~ p p uma tautologia, pois sempre verdadeira.
Letra B
02. (Fiscal do Trabalho 1998/Esaf) Chama-se tautologia a toda proposio que
sempre verdadeira, independentemente da verdade dos termos que a compem. Um
exemplo de tautologia :
a) se J oo alto, ento J oo alto ou Guilherme gordo.
b) se J oo alto, ento J oo alto e Guilherme gordo.
c) se J oo alto ou Guilherme gordo, ento Guilherme gordo.
d) se J oo alto ou Guilherme gordo, ento J oo alto e Guilherme gordo.
e) se J oo alto ou no alto, ento Guilherme gordo.
Resoluo
Chamemos de p : J oo alto e q : Guilherme gordo.
As alternativas podem ser reescritas simbolicamente das seguintes maneiras.
a) ( ) p p q
b) ( ) p p q
c) ( ) p q q

11
d) ( ) ( ) p q p q
e) ( ~ ) p p q
Resta-nos agora construir as tabelas-verdades das proposies compostas acima.
p q
p q p q
( ) p p q ( ) p p q ( ) p q q ( ) ( ) p q p q
V V V V V V V V
V F V F V F F F
F V
V F V V V F
F F F F V V V V
p q
~p ~ p p
( ~ ) p p q
V V F V V
V F F V F
F V
V V V
F F V V F
Dessa forma, a alternativa A uma tautologia e as outras alternativas so
contingncias.
Letra A
03. (PM-DF/2009/CESPE) A proposio (AB) (AB) uma tautologia.
Resoluo
A tabela-verdade possui 2 = 4 linhas. Vamos comear construindo a proposio
composta que est no primeiro par de parnteses: AA B.
Devemos conectar a proposio A com a proposio B atravs do conectivo e.
A B AA B
V V V
V F F
F V F
F F F
Vamos agora construir a proposio composta que est no segundo par de
parnteses: A v B. Lembre-se que a composta A v B s verdadeira quando pelo
menos um dos dois componentes for verdadeiro. Isto acontece nas trs primeiras
linhas.

12
A B AA B A v B
V V V V
V F F V
F V F V
F F F F
Finalmente vamos construir a composta (AB) (AB). Devemos conectar a terceira
coluna com a quarta coluna atravs do conectivo se...,ento.... Lembre-se que uma
proposio do tipo p - q s falsa quando p verdadeiro e q falso. Como isto
nunca acontece, ento a composta sempre verdadeira.
A B AA B A v B (AB) (AB).
V V V V V
V F F V V
F V F V V
F F F F V
O item est certo.
(SEBRAE-BA 2008/CESPE-UnB) A proposio uma declarao que pode ser
julgada verdadeira (V) ou falsa (F), mas no cabem ambos os julgamentos para a
mesma proposio. usual representar proposies simples por letras maisculas do
alfabeto, como A, B, C etc. As proposies compostas so construdas a partir da
conexo de proposies. Uma proposio na forma A v B composta, sendo lida
como A ou B e avaliada como F quando A e B so ambas F, e, nos demais casos,
V; uma proposio na forma A B composta, sendo lida como A e B e avaliada
como V quando A e B so ambas V, e, nos demais casos, F. Uma proposio na
forma A a negao de A, sendo, portanto, V quando A F, e F quando A V, e
uma proposio composta. Parnteses podem ser usados para agrupar as
proposies e evitar ambigidades. Tendo como referncia as informaes
apresentadas acima, julgue os prximos itens.
04. As proposies na forma (A B) tm exatamente trs valores lgicos V, para
todos os possveis valores lgicos de A e B.
Resoluo
Devemos construir a tabela-verdade que possui 2 =4 linhas. Comeamos construindo
a proposio AA B.
Devemos conectar a proposio A com a proposio B atravs do conectivo e.

13
A B AA B
V V V
V F F
F V F
F F F
Para construir a proposio (A B), devemos trocar os valores lgicos de A B.
A B AA B (A B)
V V V F
V F F V
F V F V
F F F V
O item est certo.
05. Se A for considerada uma proposio F e B for considerada uma proposio V,
ento a proposio B v A F.
Resoluo
Se a proposio B for considerada V, ento a sua negao B ser F. Observe que a
proposio A tambm falsa. Considere a proposio B v A: uma proposio
composta pelo conectivo ou em que os dois componentes so falsos. Portanto, a
proposio B v A falsa. O item est certo.
06. Considerando-se que A e B sejam proposies ambas V ou sejam ambas F, ento
a proposio ((A) B) ser F.
Resoluo
Vamos construir uma tabela-verdade reduzida, considerando que A e B sejam
proposies ambas V ou sejam ambas F.
A B
V V
F F
Para construir ((A) B), devemos construir a negao de A (que ter valores
opostos aos de A).
A B A
V V F
F F V
O prximo passo conectar a proposio A com a proposio B atravs do conectivo
e. Uma proposio composta pelo conectivo e s verdadeira quando os dois
componentes so verdadeiros. Este fato no acontece. Portanto, a proposio (A) B
ser falsa nas duas linhas.

14
A B A (A) B
V V F F
F F V F
Finalmente, ((A) B) a negao de (A) B. Como a proposio (A) B falsa
nas duas linhas, ento ((A) B) ser V nas duas linhas.
A B A (A) B ((A) B)
V V F F V
F F V F V
O item est errado.
07. Proposies na forma ((A (B v C))) v (A (B v C)) tm somente valores lgicos
V, para quaisquer que sejam os valores lgicos de A, B e C.
Resoluo
Quem tem um bom olho resolve rapidamente esta questo. A priori, deveramos
construir uma tabela verdade com 8 linhas, j que esto envolvidas trs proposies
simples. Devemos construir a tabela-verdade de ((A (B v C))) v (A (B v C)).
Observe que chamando a proposio A (B v C) de p, esta composta pode ser
reescrita assim:
-p v p
Vamos construir sua tabela-verdade que possui 2
1
=2 linhas.
-p p -p v p
V F V
F V V
Por definio, a proposio -p v p uma tautologia, pois sempre verdadeira.
O item est certo.
08. Se A for a proposio Joaquim agricultor, e B, a proposio Marieta
empresria, ento a sentena verbal correspondente proposio B v (A) ser
Marieta empresria e Joaquim no agricultor.
Resoluo
Como a proposio A Joaquim agricultor, ento a proposio A ser Joaquim
no agricultor.
Lembre-se que o smbolo v representa o ou, e no o conectivo e! Portanto, o item
est errado.
09. A proposio O SEBRAE facilita e orienta o acesso a servios financeiros uma
proposio simples.
Resoluo

15
O item est certo. H duas proposies conectadas pelo e .
10. Considerando que as proposies Seu chefe lhe passa uma ordem e Voc no
aceita a ordem sem question-la sejam V, a proposio Se seu chefe lhe passa uma
ordem, ento voc aceita a ordem sem question-la julgada como F.
Resoluo
Seu chefe lhe passa uma ordem (V)
Voc no aceita a ordem sem question-la (V)
Conclumos que:
Voc aceita a ordem sem question-la (F)
Portanto,
Se seu chefe lhe passa uma ordem, ento voc aceita a ordem sem question-la
julgada como F, pois o primeiro componente verdadeiro e o segundo falso. Este
o nico caso em que uma composta pelo se...,ento... falso.
O item est certo.
11. A proposio simblica (A B)((A(B))) sempre julgada como V,
independentemente de A e B serem V ou F.
Resoluo
No tem como fugir... Devemos construir a tabela-verdade da proposio apresentada.
A tabela possui 2 =4 linhas. Comeamos com a negao de B que ser utilizada.
A B B
V V F
V F V
F V F
F F V
Vamos agora construir A B. Devemos conectar a proposio A com a proposio
atravs do conectivo e. Lembre-se que uma proposio composta pelo conectivo e
B
s ser verdadeira quando os dois componentes forem verdadeiros.
A B B A B
V V F V
V F V F
F V F F
F F V F
Vamos construir A(B). Devemos conectar a primeira coluna com a terceira coluna
atravs do se...,ento.... S h um caso em que a composta falsa: quando o
primeiro componente for verdadeiro e o segundo for falso. Isto acontece na primeira
linha.

16
A B B A B A(B)
V V F V F
V F V F V
F V F F V
F F V F V
Devemos negar a proposio A(B), obtendo ((A(B))). Basta trocar os valores
lgicos da ltima coluna.
A B B A B A(B) ((A(B)))
V V F V F V
V F V F V F
F V F F V F
F F V F V F
Finalmente construmos (A B)((A(B))) conectando a quarta coluna com a
sexta coluna atravs do conectivo se...,ento.... Observe que no h casos em que a
primeira verdadeira e a segunda falsa, portanto, a composta (A B)((A(B)))
sempre verdadeira.
A B B A B A(B) ((A(B))) (A B)((A(B)))
V V F V F V V
V F V F V F V
F V F F V F V
F F V F V F V
Trata-se de uma tautologia e o item est certo.
12. Se A, B e C so proposies simples, ento existem exatamente duas
possibilidades para que a proposio (A B) C seja avaliada como V.
Resoluo
A tabela-verdade possui 2 =8 linhas.
A B C
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Vamos conectar a proposio A com a proposio B atravs do conectivo e.
Devemos nos focar nas linhas em que os dois componentes so verdadeiros (j que
neste caso a composta ser verdadeira).

17
A B C A B
V V V V
V V F V
V F V F
V F F F
F V V F
F V F F
F F V F
F F F F
Devemos agora conectar a proposio A B com a proposio C atravs do e. O
nico caso em que as duas so verdadeiras acontece na primeira linha.
A B C A B (A B) C
V V V V V
V V F V F
V F V F F
V F F F F
F V V F F
F V F F F
F F V F F
F F F F F
O item est errado, pois h apenas uma possibilidade em que (A B) C verdadeira.
(SEBRAE 2010/CESPE-UnB)
13. A proposio [B] {[B]A} uma tautologia.
Resoluo
A B
V V
V F
F V
F F
Vamos construir B (negao de B). Seus valores so opostos aos de B.

18
A B B
V V F
V F V
F V F
F F V
Vamos construir a proposio [B]A. Devemos conectar a terceira coluna com a
primeira coluna.
ATENO!!!
Devemos operar o se...,ento... da DIREITA para a ESQUERDA. Comeamos com
B e terminamos com A. Este condicional s falso na ltima linha em que B
verdadeiro e A falso.

A B B [B]A
V V F V
V F V V
F V F V
F F V F
Finalmente vamos construir [B] {[B]A}. Devemos conectar B (terceira coluna)
com [B]A (quarta coluna) atravs do ou. Em todas as linhas h pelo menos uma
verdadeira, portanto a composta [B] {[B]A} sempre verdadeira.
A B B [B]A [B] {[B]A}
V V F V V
V F V V V
F V F V V
F F V F V
O item est certo.
14. A proposio [B] [AB] logicamente falsa.
Resoluo
A B
V V
V F
F V
F F

19
Vamos construir B (negao de B). Seus valores so opostos aos de B.
A B B
V V F
V F V
F V F
F F V
Vamos construir AB. Este condicional s falso quando A verdadeiro e B falso
(2 linha).
A B B AB
V V F V
V F V F
F V F V
F F V V
Vamos agora conectar as duas ltimas colunas atravs do conectivo e para formar
[B] [AB]. Observe que os dois componentes so verdadeiros na ltima linha.
A B B AB [B] [AB]
V V F V F
V F V F F
F V F V F
F F V V V
A proposio dada no logicamente falsa (contradio). Trata-se de uma
contingncia. O item est errado.
15. Considere que A, B e C sejam proposies simples, distintas, e que a proposio
D seja definida por D =[AB][A]C. Nesse caso, a tabela-verdade da proposio
D tem 16 linhas.
Resoluo
A proposio D composta por 3 proposies simples. A sua tabela-verdade possui
2
3
= 8 linhas.
O item est errado.

20
Equivalncias Lgicas
Estudaremos agora um conceito importantssimo em Lgica: as famosas equivalncias
lgicas. E o que so proposies logicamente equivalentes?
Grosso modo, duas proposies so logicamente equivalentes quando elas dizem a
mesma coisa.
Por exemplo:
p: Eu joguei o lpis.
q: O lpis foi jogado por mim.
As duas proposies acima tm o mesmo significado. Elas querem dizer a mesma
coisa!! Quando uma delas for verdadeira, a outra tambm ser. Quando uma delas for
falsa, a outra tambm ser. Dizemos, portanto, que elas so logicamente equivalentes.
Em smbolos dizemos:
Esta seta dupla o smbolo de equivalncia.
p = q
Vamos conversar formalmente agora...
Duas proposies so logicamente equivalentes se e somente se possuem a
mesma tabela-verdade.
Vamos mostrar, por exemplo, que a proposio p q equivalente a
( ) ( ) p q q p . Ou seja, que
[ ]
( ) ( ) ( ) p q p q q p . Construmos a
tabela-verdade e verificamos se os valores lgicos das duas proposies so sempre
iguais.
p q p q
q p
( ) ( ) p q q p
p q
V V V V V V
V F F V F F
F V V F F F
F F V V V V
Assim, acabamos de mostrar que uma proposio bicondicional equivale conjuno
de dois condicionais.
H algumas equivalncias notveis que so muito cobradas em concursos. Vamos
enunciar as equivalncias, demonstr-las e aplic-las.

21
Teorema: As proposies p q , ~ ~ q p e ~p q so logicamente equivalentes.
Demonstrao:
p q ~q ~p p q ~ ~ q p ~p q
V V F F V V V
V F V F F F F
F V F V V V V
F F V V V V V
Como os valores lgicos das trs proposies so iguais, elas so ditas logicamente
equivalentes.
Em uma linguagem informal, poderamos construir o seguinte algoritmo para construir
essas proposies equivalentes notveis, dada a proposio condicional p q .
~ ~ q p
Negue o antecedente e o consequente,
troque a ordem e mantenha o conectivo
se...,ento
~p q
Negue apenas o antecedente e troque o
conectivo por ou.
Por exemplo, dada a proposio Se bebo, ento no dirijo, temos que as seguintes
proposies so equivalentes a ela:
i) Se dirijo, ento no bebo.
ii) No bebo ou no dirijo.
16. (SGA/AC 2007/CESPE-UnB) As proposies AB e (B) (A) tm a mesma
tabela verdade.
Resoluo
Como comentei anteriormente, estas duas proposies so equivalentes. O item est
certo.
17. (Agente Penitencirio SJ DH-BA 2010/FCC) Uma afirmao equivalente
afirmao Se bebo, ento no dirijo
(A) Se no bebo, ento no dirijo.
(B) Se no dirijo, ento no bebo.
(C) Se no dirijo, ento bebo.
(D) Se no bebo, ento dirijo.
(E) Se dirijo, ento no bebo.
Resoluo

22
Como foi dito anteriormente, h duas proposies equivalentes (notveis):
i) Se dirijo, ento no bebo.
ii) No bebo ou no dirijo.
Letra E
18. (Polcia Civil 2007/Ipad) A sentena Penso, logo existo logicamente equivalente
a:
a) Penso e existo.
b) Nem penso, nem existo.
c) No penso ou existo.
d) Penso ou no existo.
e) Existo, logo penso
Resoluo
Dada a proposio penso existo, temos, trivialmente, duas proposies
equivalentes a ela:
i) Se no existo, ento no penso. (Nega o antecedente e o consequente, troca a
ordem e mantm o conectivo.)
ii) No penso ou existo. (Nega o antecedente e troca o conectivo por ou).
Letra C
19. (MPOG/2006/Esaf) Dizer que Andr artista ou Bernardo no engenheiro
logicamente equivalente a dizer que:
a) Andr artista se e somente se Bernardo no engenheiro.
b) Se Andr artista, ento Bernardo no engenheiro.
c) Se Andr no artista, ento Bernardo engenheiro.
d) Se Bernardo engenheiro, ento Andr artista.
e) Andr no artista e Bernardo engenheiro.
Resoluo
Dada uma proposio p q podemos construir uma proposio logicamente
equivalente negando o antecedente e trocando o conectivo por ou obtendo a
proposio ~p q . Podemos seguir o caminho contrrio; dada uma proposio com
o conectivo ou, construmos uma equivalente negando a primeira proposio e
trocando o conectivo por se..., ento. Assim, a proposio Andr artista ou
Bernardo no engenheiro equivalente a Se Andr no artista, ento Bernardo
no engenheiro, que, por sua vez, equivalente a Se Bernardo engenheiro,
ento Andr artista.
Letra D

23
20. (TCE/MG/2007/FCC) So dadas as seguintes proposies:
(1) Se J aime trabalha no Tribunal de Contas, ento ele eficiente.
(2) Se J aime no trabalha no Tribunal de Contas, ento ele no eficiente.
(3) No verdade que, J aime trabalha no Tribunal de Contas e no eficiente.
(4) J aime eficiente ou no trabalha no Tribunal de Contas.
correto afirmar que so logicamente equivalentes apenas as proposies de
nmeros
a) 2 e 4
b) 2 e 3
c) 2, 3 e 4
d) 1, 2 e 3
e) 1, 3 e 4
Resoluo
Chamando de p : J aime trabalha no Tribunal de Contas e de q : J aime eficiente,
as proposies (1), (2), (3) e (4) podem, simbolicamente, ser reescritas das seguintes
maneiras:
(1) p q (2) ~ ~ p q (3) ~( ~ ) p q (4) ~ q p
Vamos ento construir a tabela-verdade e verificar quais so equivalentes.
p q
~p ~q
~ p q
(1): p q (2): ~ ~ p q (3): ~( ~ ) p q (4): ~ q p
V V F F F V V V V
V F F V V F V F F
F V V F F V F V V
F F V V F V V V V
Observe que as proposies (1), (3) e (4) possuem as mesmas valoraes e, portanto,
so equivalentes.
Letra E
21. (Administrador DNOCS 2010/FCC) Considere a seguinte proposio:
Se uma pessoa no faz cursos de aperfeioamento na sua rea de trabalho, ento
ela no melhora o seu desempenho profissional.
Uma proposio logicamente equivalente proposio dada :
(A) falso que, uma pessoa no melhora o seu desempenho profissional ou faz
cursos de aperfeioamento na sua rea de trabalho.
(B) No verdade que, uma pessoa no faz cursos de aperfeioamento profissional e
no melhora o seu desempenho profissional.
(C) Se uma pessoa no melhora seu desempenho profissional, ento ela no faz
(D) Uma pessoa melhora o seu desempenho profissional ou no faz cursos de
aperfeioamento na sua rea de trabalho.

24
(E) Uma pessoa no melhora seu desempenho profissional ou faz cursos de
Resoluo
Temos, trivialmente, duas proposies equivalentes a ela:
i) Se a pessoa melhora o seu desempenho profissional, ento ela faz cursos de
aperfeioamento na sua rea de trabalho. (Nega o antecedente e o consequente, troca
a ordem e mantm o conectivo.)
ii) Uma pessoa faz cursos de aperfeioamentos na sua rea de trabalho ou ela no
melhora o seu desempenho profissional. (Nega o antecedente e troca o conectivo por
ou).
O que a FCC fez foi trocar a ordem das proposies no caso ii. Isto perfeitamente
permitido, j que a o conectivo ou permite a troca da ordem das frases sem alterar o
seu sentido.
Letra E
22. (MPE-AM 2007/CESPE-UnB) As proposies (A) (B) e AB tm exatamente
as mesmas valoraes V ou F, independentemente das valoraes V ou F atribudas
s proposies bsicas A e B.
Resoluo
Vamos construir uma tabela-verdade para as duas proposies. H 2 =4 linhas.
Comeamos com as proposies A,B e suas respectivas negaes.
A B A B
V V F F
V F F V
F V V F
F F V V
Para construir (A) (B) devemos conectar a terceira coluna com a quarta coluna
atravs do conectivo ou. A composta ser verdadeira em todas as linhas que houver
pelo menos uma verdadeira.
A B A B (A) (B)
V V F F F
V F F V V
F V V F V
F F V V V
Para construir AB, devemos conectar a terceira coluna com a segunda coluna
(com o conectivo se...,ento...). Observe que devemos olhar primeiro para A e
depois para B.

25
A composta AB falsa na quarta linha, pois A verdadeira e B falsa.
A B A B (A) (B) AB
V V F F F V
V F F V V V
F V V F V V
F F V V V F
O item est errado, pois as proposies AB e (A) (B) no possuem as mesmas
valoraes.
(MPE-AM 2007/CESPE-UnB)Texto II para os itens 25 e 26
Duas proposies so denominadas equivalentes quando tm exatamente as mesmas
valoraes V e F. Por exemplo, so equivalentes as proposies (A) B e AB.
A partir das informaes dos textos I e II acima, e supondo que A simboliza a
proposio Alice perseguiu o Coelho Branco e B simboliza a proposio O Coelho
Branco olhou o relgio, julgue os itens a seguir.
23. A proposio Se o Coelho Branco no olhou o relgio, ento Alice no perseguiu
o Coelho Branco pode ser simbolizada por (B)(A).
Resoluo
O item est certo.
B: O Coelho Branco olhou o relgio
(B): O Coelho Branco no olhou o relgio
A: Alice perseguiu o Coelho Branco.
(A): Alice no perseguiu o Coelho Branco.
Portanto, (B)(A): Se o Coelho Branco no olhou o relgio, ento Alice no
perseguiu o Coelho Branco.
24. A proposio Se o Coelho Branco olhou o relgio, ento Alice no perseguiu o
Coelho Branco equivalente proposio O Coelho Branco no olhou o relgio ou
Alice no perseguiu o Coelho Branco.
Resoluo
Lembremos o que foi dito na exposio terica.
Dada a proposio condicional p q .
~ ~ q p
Negue o antecedente e o consequente, troque a ordem
e mantenha o conectivo se...,ento
~p q
Negue apenas o antecedente e troque o conectivo por
ou.

26
Ento dada a proposio Se o Coelho Branco olhou o relgio, ento Alice no
perseguiu o Coelho Branco, devemos negar apenas o primeiro componente e trocar o
conectivo por ou. Obtemos: O Coelho Branco no olhou o relgio ou Alice no
perseguiu o Coelho Branco.
O item est certo.
Relao das questes comentadas nesta aula
01. (TRT-9 Regio/2004/FCC) Considere a seguinte proposio Na eleio para a
prefeitura, o candidato A ser eleito ou no ser eleito. Do ponto de vista lgico, a
afirmao da proposio caracteriza:
a) um silogismo
b) uma tautologia
c) uma equivalncia
d) uma contingncia
e) uma contradio
02. (Fiscal do Trabalho 1998/Esaf) Chama-se tautologia a toda proposio que
sempre verdadeira, independentemente da verdade dos termos que a compem. Um
exemplo de tautologia :
a) se J oo alto, ento J oo alto ou Guilherme gordo.
b) se J oo alto, ento J oo alto e Guilherme gordo.
c) se J oo alto ou Guilherme gordo, ento Guilherme gordo.
d) se J oo alto ou Guilherme gordo, ento J oo alto e Guilherme gordo.
e) se J oo alto ou no alto, ento Guilherme gordo.
03. (PM-DF/2009/CESPE) A proposio (AB) (AB) uma tautologia.
(SEBRAE-BA 2008/CESPE-UnB) A proposio uma declarao que pode ser
julgada verdadeira (V) ou falsa (F), mas no cabem ambos os julgamentos para a
mesma proposio. usual representar proposies simples por letras maisculas do
alfabeto, como A, B, C etc. As proposies compostas so construdas a partir da
conexo de proposies. Uma proposio na forma A v B composta, sendo lida
como A ou B e avaliada como F quando A e B so ambas F, e, nos demais casos,
V; uma proposio na forma A B composta, sendo lida como A e B e avaliada
como V quando A e B so ambas V, e, nos demais casos, F. Uma proposio na
forma A a negao de A, sendo, portanto, V quando A F, e F quando A V, e
uma proposio composta. Parnteses podem ser usados para agrupar as
proposies e evitar ambigidades. Tendo como referncia as informaes
apresentadas acima, julgue os prximos itens.
04. As proposies na forma (A B) tm exatamente trs valores lgicos V, para
todos os possveis valores lgicos de A e B.

27
05. Se A for considerada uma proposio F e B for considerada uma proposio V,
ento a proposio B v A F.
06. Considerando-se que A e B sejam proposies ambas V ou sejam ambas F, ento
a proposio ((A) B) ser F.
07. Proposies na forma ((A (B v C))) v (A (B v C)) tm somente valores lgicos
V, para quaisquer que sejam os valores lgicos de A, B e C.
08. Se A for a proposio Joaquim agricultor, e B, a proposio Marieta
empresria, ento a sentena verbal correspondente proposio B v (A) ser
Marieta empresria e Joaquim no agricultor.
09. A proposio O SEBRAE facilita e orienta o acesso a servios financeiros uma
proposio simples.
10. Considerando que as proposies Seu chefe lhe passa uma ordem e Voc no
aceita a ordem sem question-la sejam V, a proposio Se seu chefe lhe passa uma
ordem, ento voc aceita a ordem sem question-la julgada como F.
11. A proposio simblica (A B)((A(B))) sempre julgada como V,
independentemente de A e B serem V ou F.
12. Se A, B e C so proposies simples, ento existem exatamente duas
possibilidades para que a proposio (A B) C seja avaliada como V.
(SEBRAE 2010/CESPE-UnB)
13. A proposio [B] {[B]A} uma tautologia. CERTO
14. A proposio [B] [AB] logicamente falsa. ERRADO
15. Considere que A, B e C sejam proposies simples, distintas, e que a proposio
D seja definida por D =[AB][A]C. Nesse caso, a tabela-verdade da proposio
D tem 16 linhas. ERRADO
16. (SGA/AC 2007/CESPE-UnB) As proposies AB e (B) (A) tm a mesma
tabela verdade.
17. (Agente Penitencirio SJ DH-BA 2010/FCC) Uma afirmao equivalente
afirmao Se bebo, ento no dirijo
(A) Se no bebo, ento no dirijo.
(B) Se no dirijo, ento no bebo.
(C) Se no dirijo, ento bebo.
(D) Se no bebo, ento dirijo.
(E) Se dirijo, ento no bebo.
18. (Polcia Civil 2007/Ipad) A sentena Penso, logo existo logicamente equivalente
a:

28
a) Penso e existo.
b) Nem penso, nem existo.
c) No penso ou existo.
d) Penso ou no existo.
e) Existo, logo penso
19. (MPOG/2006/Esaf) Dizer que Andr artista ou Bernardo no engenheiro
logicamente equivalente a dizer que:
a) Andr artista se e somente se Bernardo no engenheiro.
b) Se Andr artista, ento Bernardo no engenheiro.
c) Se Andr no artista, ento Bernardo engenheiro.
d) Se Bernardo engenheiro, ento Andr artista.
e) Andr no artista e Bernardo engenheiro.
20. (TCE/MG/2007/FCC) So dadas as seguintes proposies:
(1) Se J aime trabalha no Tribunal de Contas, ento ele eficiente.
(2) Se J aime no trabalha no Tribunal de Contas, ento ele no eficiente.
(3) No verdade que, J aime trabalha no Tribunal de Contas e no eficiente.
(4) J aime eficiente ou no trabalha no Tribunal de Contas.
correto afirmar que so logicamente equivalentes apenas as proposies de
nmeros
a) 2 e 4
b) 2 e 3
c) 2, 3 e 4
d) 1, 2 e 3
e) 1, 3 e 4
21. (Administrador DNOCS 2010/FCC) Considere a seguinte proposio:
Se uma pessoa no faz cursos de aperfeioamento na sua rea de trabalho, ento
ela no melhora o seu desempenho profissional.
Uma proposio logicamente equivalente proposio dada :
(A) falso que, uma pessoa no melhora o seu desempenho profissional ou faz
(B) No verdade que, uma pessoa no faz cursos de aperfeioamento profissional e
no melhora o seu desempenho profissional.
(C) Se uma pessoa no melhora seu desempenho profissional, ento ela no faz
(D) Uma pessoa melhora o seu desempenho profissional ou no faz cursos de
(E) Uma pessoa no melhora seu desempenho profissional ou faz cursos de

29
22. (MPE-AM 2007/CESPE-UnB) As proposies (A) (B) e AB tm exatamente
as mesmas valoraes V ou F, independentemente das valoraes V ou F atribudas
s proposies bsicas A e B.
(MPE-AM 2007/CESPE-UnB)Texto II para os itens 25 e 26
Duas proposies so denominadas equivalentes quando tm exatamente as mesmas
valoraes V e F. Por exemplo, so equivalentes as proposies (A) B e AB.
A partir das informaes dos textos I e II acima, e supondo que A simboliza a
proposio Alice perseguiu o Coelho Branco e B simboliza a proposio O Coelho
Branco olhou o relgio, julgue os itens a seguir.
23. A proposio Se o Coelho Branco no olhou o relgio, ento Alice no perseguiu
o Coelho Branco pode ser simbolizada por (B)(A).
24. A proposio Se o Coelho Branco olhou o relgio, ento Alice no perseguiu o
Coelho Branco equivalente proposio O Coelho Branco no olhou o relgio ou
Alice no perseguiu o Coelho Branco.
Gabaritos
01. B
02. A
03. CERTO
04. CERTO
05. CERTO
06. ERRADO
07. CERTO
08. ERRADO
09. CERTO
10. CERTO
11. CERTO
12. ERRADO
13. CERTO
14. ERRADO
15. ERRADO
16. CERTO
17. E
18. C
19. D
20. E
21. EERRADO
22. CERTO
23. CERTO
24. CERTO

Aula 04

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Aula 04

Diunggah oleh

Hak Cipta:

Format Tersedia

1

CURSO ON-LINE RACIOCNIO LGICO P/ INSS

Anda mungkin juga menyukai