Equivalências lógicas

Hoje respondo a uma dúvida da Renata, aluna do meu curso de Raciocínio Lógico para o Bacen.

Ela pediu para resolver a questão abaixo, que trata de equivalências lógicas, usando a tabela verdade.

TRT 1ª Região 2008 [CESPE]

Para todos os possíveis valores lógicos, V ou F, que podem ser atribuídos a P e a Q, uma proposição simbolizada por

possui os mesmos valores lógicos que a proposição simbolizada por

a)

b)

c)

d)

e)

---

Resolução:

Primeiro apresento a resolução já dad em aula.

Vamos partir da proposição dada no comando da questão.

Agora aplicamos a equivalência que transforma um condicional em disjunção. Basta negar a primeira parcela e manter a segunda.

Agora temos uma negação de um “ou”. Verificando as alternativas, não há nenhuma que contemple a proposição acima. Precisamos trabalhar um pouco mais.

Para negar um “ou”, usamos a Lei de Morgan. Basta negar cada parcela e trocar o conectivo por um “e”:

Ah, agora sim. A alternativa “E” contempla justamente a proposição acima. Ela é a resposta.

Gabarito: E

---

Abaixo, mostro como ficariam as tabelas verdade.

Só ressalto que, usando as tabelas verdade, a solução é bem mais demorada, pois precisamos testar todas as alternativas.

Iniciando pela tabela verdade da proposição de partida:

Agora deveríamos montar as tabelas verdades para todas as alternativas, para comparar com esta aí de cima.

Por sorte, caiu justo na tabela verdade típica do conectivo “e”, que só assume o valor V quando suas duas parcelas são V.

Em todo caso, vamos às alternativas.

Na letra “a” temos uma proposição composta pelo “ou”.

Ela só será falsa quando suas duas parcelas forem F. Isso ocorrerá quando:

• : falso, logo, é verdadeiro
• é falso.

Portanto:

A tabela verdade foi diferente daquela dada na questão.

Letra b:

Um condicional só é falso quando temos:

• Antecedente verdadeiro (logo, é falso)
• Consequente falso (logo, P é falso)

Nos demais casos, o condicional é verdadeiro:

A tabela verdade é diferente daquela dada no enunciado.

Letra c:

Novamente a tabela verdade é diferente da proposição de partida.

Letra d:

A negação dupla se anula. Ficamos com:

Que tem tabela verdade:

 

Letra e

Observem como coincide exatamente com a tabela verdade da proposição original. A última coluna só tem “V” na primeira célula. As demais são todas “F”.