Resolvendo questes de EQUIVALNCIA LGICA

Oi pessoal, queria compartilhar com vocs um tipo de questo que, particularmente, eu estava
sempre errando mas que, com esta dica, no errarei mais. Creio que pode acontecer com
muita gente tambm..
So questes de equivalncia lgica. Estas questes geralmente vem na forma de texto, so
exemplo as duas questes a seguir:

1. (INPI 2009) A sentena Duda bonita ou Hlio no magro logicamente equivalente

a:
(A) se Duda bonita, ento Hlio magro;
(B) se Duda bonita, ento Hlio no magro;
(C) se Duda no bonita, ento Hlio no magro;
(D) se Duda no bonita, ento Hlio magro;
(E) se Hlio no magro, ento Duda no bonita

2. (TRT - 2004) Um economista deu a seguinte declarao em uma entrevista: "Se os juros
bancrios so altos, ento a inflao baixa."
Uma proposio logicamente equivalente do economista :
(A) se a inflao no baixa, ento os juros bancrios no so altos;
(B) se a inflao alta, ento os juros bancrios so altos;
(C) se os juros bancrios no so altos, ento a inflao no baixa;
(D) os juros bancrios so baixos e a inflao baixa;
(E) ou os juros bancrios ou a inflao baixa.

1. Como cai?
Este tipo de questo cair da seguinte forma:
1.1 aparece a expresso "logicamente equivalente" ou similar;
1.2 apresentar a proposio SE, ENTO ou a proposio OU.
1.3 a resposta ser SE, ENTO ou OU.
resumindo:
para transformar o SE, ENTO em OU
ou
para transformar o OU em SE, ENTO
2. Como resolver?
2.1 Percebam. Se der o SE, ENTO:

p --> q
primeiro tentaremos resolver com a seguinte negao do se, ento:
~q --> ~p (percebam que o q inverte com o p)
se no achar a resposta, analisaremos a proposio OU:
~p v q
2.2 Se der o OU, faremos o seguinte:
a partir do:
~p v q
acharemos o SE, ENTO:
p --> q
se no achar a resposta, analisaremos a negao do SE, ENTO:
~q --> ~p
3. Tentem responder agora as questes 1 e 2.
Os gabaritos so: 1)C 2)A

Mais uma questo boa envolvendo equivalncia lgica:

(FCC TCE-MG 2007) So dadas as seguintes proposies:
I. Se Jaime trabalha no Tribunal de Contas, ento ele eficiente.
II. Se Jaime no trabalha no Tribunal de Contas, ento ele no eficiente.
III. No verdade que Jaime trabalha no Tribunal de Contas e no eficiente.
IV. Jaime 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 **gabarito**
-----------------minha resoluo:
Primeiro simplifica ela
I) Trabalha --> eficiente
II) ~Trabalha --> ~eficiente
III) ~(trabalha ^ ~eficiente)
IV) eficiente v ~trabalha

Agora buscamos as equivalncias lgicas.

I) Trabalha --> eficiente
equivalente a essas duas:
~eficiente --> ~Trabalha
~trabalha v eficiente
II) ~Trabalha --> ~eficiente
equivalente a essas duas:
eficiente --> trabalha
trabalha v ~eficiente
III) ~(trabalha ^ ~eficiente)
equivalente a:
~trabalha v eficiente
(a negao de p ^ q ~p v ~q)
IV) eficiente v ~trabalha
equivalente a essas duas:
~eficiente --> ~trabalha
trabalha --> eficiente
em cores, todas as equivalncias em comum

implicaes e equivalncias lgicas exerccios

Artigo sobre implicaes e equivalncias lgicas com exerccios para uma
melhor compreenso do assunto.
Uma proposio P implica na proposio Q se e somente se a tabela
verdade de P Q for uma uma tautologia.
O smbolo P Q (P implica Q) representa a implicao lgica.

A implicao lgica goza das seguintes propriedades:

P1 Reflexiva. Isto P P.
P2 Transitividade. Isto P Q e Q S ento P S.
A transitividade pode ser estend

Esto abaixo as implicaes lgicas fundamentais:

p => p v q
p ^ q => p
(p v q) ^ ~p => q
(p q) ^ p => q
(Modus ponens)
(p q) ^ ~q => ~p (Modus tollens)

(p q) ^ (q r) => p r
p q => p q
p q => q p
(pq) ^ p => q

(Silogismo hipottico)

As implicaes que esto destacadas em vermelho so as mais importantes regras de infer

Equivalncia lgica

H equivalncia entre as proposies P e Q quando tiverem a mesma tabela-verdade ou quando a bico

Para exemplificar, tomemos as seguintes proposies (p q) (~q ~p) criando suas tabelas-

Portanto, p q equivalente a ~q ~p, pois estas proposies possuem a mesma tabela-verdade ou

Equivalncias lgicas vlidas:

~~p <=> p

(dupla negao)

~p p <=> p

(Clavius)

p q <=> ~p v q
p q <=> (p q) ^ (q p)
p q <=> (p ^ q) v (~p ^ ~q)
p q <=> ~q ~p
p p ^ q <=> p q

(absoro)

p ^ ~q c <=> p q
p ^ q r <=> p (q r) (exportao-importao)

Destacadas em vermelho, as equivalncias lgicas mais usadas em resolues de questes.

Uma diferena importantssima entre a implicao e equivalncia reside no fato de que, na implicao, s

p ^ q => p (certo)
O caminho de volta pode estar errado se desejado:
p => p ^ q (errado)
Na equivalncia, pode-se ir e vir entre duas proposies. Temos:
(~p v q) <=> (p q)
O caminho de volta seria perfeitamente vlido:
(~p v q) <=> (p q)
Em outras palavras:dizer que p ^ q <=> p a mesma coisa que afirmar que p ^ q => p. Porm p ^ q => p
no a mesma coisa de dizer que p <=> p ^ q

Exerccios
1) (FCC TCE-MG 2007) So dadas as seguintes proposies:
I. Se Jaime trabalha no Tribunal de Contas, ento ele eficiente.
II. Se Jaime no trabalha no Tribunal de Contas, ento ele no eficiente.
III. No verdade que Jaime trabalha no Tribunal de Contas e no eficiente.
IV. Jaime 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 **gabarito**
-----------------resoluo:
Simplificamos primeiro as proposies:
I) Trabalha --> eficiente
II) ~Trabalha --> ~eficiente
III) ~(trabalha ^ ~eficiente)
IV) eficiente v ~trabalha
Agora buscamos as equivalncias lgicas.
I) Trabalha --> eficiente
equivalente a essas duas:
~eficiente --> ~Trabalha
~trabalha v eficiente
II) ~Trabalha --> ~eficiente
equivalente a essas duas:
eficiente --> trabalha
trabalha v ~eficiente

III) ~(trabalha ^ ~eficiente)

equivalente a:
~trabalha v eficiente
(a negao de p ^ q ~p v ~q)
IV) eficiente v ~trabalha
equivalente a essas duas:
~eficiente --> ~trabalha
trabalha --> eficiente
em cores, todas as equivalncias em comum.
letra E, a correta.
2. Mostrar que as proposies x = 1 v x 3 e ~(x < 3 ^ x = 1) no so equivalentes.
3. Demonstre as relaes abaixo utilizando as tabelas-verdade:
a
)

pqr (pq)(pr)

b
)

pqr(pq)(pr)

c
)

pqrp(qr)

d
)

~( ~p ~q ) ~p q

e
)

~( p q r ) ~p ~q ~r

f
)

~( p q r ) ~p ~q ~r