- Responda à seguinte pergunta, justificando sua resposta: “Qual a relação dos valores lógicos de duas sentenças equivalentes?”
Passo 1
O enunciado pergunta qual é a relação entre os valores lógicos de duas sentenças que são equivalentes.
Informações dadas (explícitas ou implícitas):
Informações dadas (explícitas ou implícitas):
- Há duas sentenças proposicionais, chamar aqui de
e . - Elas são descritas como “equivalentes” (o que precisa ser explicado e justificado).
- A tarefa é dizer e justificar como os valores de verdade de
e se relacionam.
Passo 2
O que significa “valor lógico” e “atribuição/valoração” (explicação passo a passo).
- Uma sentença proposicional tem um valor de verdade: verdadeira ou falsa. Vou usar os símbolos
(verdadeira) e (falsa). - Uma valoração (ou atribuição) é uma regra que dá, para cada proposição atômica, um valor em
. Denoto uma valoração por . Então significa "o valor de verdade de quando usamos a valoração ". - Exemplo concreto e simples: se
é uma proposição atômica, uma valoração pode ser ou . Para fórmulas mais complexas, o valor é calculado seguindo as regras das conectivas lógicas (por exemplo, ).
Passo 3
Definição precisa de equivalência lógica e sua interpretação.
- Dizemos que
e são logicamente equivalentes quando, para toda valoração , tem-se
- Outra maneira equivalente de escrever isso é afirmar que o bicondicional
é uma tautologia, ou seja:
- Interpretação em linguagem corrente: “sempre que
for verdadeira, também será verdadeira; e sempre que for falsa, também será falsa” — isto vale para qualquer escolha de valores dos átomos (qualquer valoração).
Passo 4
Mostrando na prática com um exemplo conhecido (De Morgan) para fixar a ideia.
- Considere as duas sentenças
e . - Vamos montar a tabela de verdade (cada linha é uma valoração diferente para
e ):
- Observação: as colunas de
e de coincidem em todas as linhas. Isso mostra que, para qualquer valoração , . Portanto essas duas sentenças são equivalentes. - Esse exemplo ilustra a regra geral: duas sentenças equivalentes têm os mesmos valores de verdade em todas as valorações.
Passo 5
Consequências e formas alternativas de ver a relação (dicas para prova).
- Equivalentemente à igualdade de valores em todas as valorações, pode-se dizer logicamente que
ou seja, cada uma semanticalmente implica a outra. Na prática de prova isso dá duas estratégias para mostrar equivalência:
- construir tabela de verdade e comparar colunas (bom quando há poucos átomos);
- usar leis e equivalências conhecidas (De Morgan, distributiva, etc.) para transformar
em .
- Lembrete prático e encorajador: se na prova faltar tempo, procurar transformações algébricas de sentenças (trocar
por via De Morgan, eliminar implicações, colocar em forma normal) costuma ser mais rápido do que tabelas longas.
Resposta
Duas sentenças logicamente equivalentes têm sempre o mesmo valor de verdade sob qualquer valoração; isto é, para toda valoração
vale
(equivalente a
).