Sim, existe uma relação de equivalência lógica entre as proposições (p -> (q ->)) <-> q -> (p ->). Para verificar isso, podemos construir a tabela verdade para ambas as proposições e compará-las. Começando com a proposição da esquerda: | p | q | (q ->) | p -> (q ->) | |---|---|--------|-------------| | V | V | V | V | | V | F | V | V | | F | V | F | V | | F | F | V | V | Agora, vamos construir a tabela verdade para a proposição da direita: | p | q | q -> | p -> | q -> (p ->) | |---|---|-----|-----|-------------| | V | V | V | V | V | | V | F | F | V | V | | F | V | V | F | V | | F | F | V | V | V | Podemos ver que as duas tabelas verdade são idênticas, o que significa que as proposições são equivalentes. Podemos justificar essa relação de equivalência lógica usando as leis de implicação e equivalência lógica. Por exemplo, podemos usar a lei da contraposição para mostrar que a proposição da esquerda implica na proposição da direita: (p -> (q ->)) -> (q -> (p ->)) Podemos provar isso usando a lei da contraposição: ~(q -> (p ->)) -> ~(p -> (q ->)) (q ^ ~p) -> (p ^ ~q) (p ^ ~q) -> (q ^ ~p) Essa última proposição é exatamente a proposição da direita, o que significa que a proposição da esquerda implica na proposição da direita. Da mesma forma, podemos usar a lei da contraposição para mostrar que a proposição da direita implica na proposição da esquerda. Portanto, as duas proposições são equivalentes.
Para escrever sua resposta aqui, entre ou crie uma conta
Lógica Matemática e Elementos de Lógica Digital
Lógica Matemática e Elementos de Lógica Digital
•UniCesumar
Lógica Matemática e Elementos de Lógica Digital
Compartilhar