3 - A aplicação prática de Equivalência Lógica

Algumas equivalências lógicas são tão relevantes, que são denominadas equivalências notáveis, que são equivalências utilizadas na prática da simplificação de proposições.

A simplificação de proposições lógicas é a possibilidade de se obter uma proposição mais reduzida que seja equivalente a uma proposição maior e mais complexa.

Diante do estudado até o momento, nota-se que quanto maior é a proposição composta, maior será a respectiva tabela verdade, dificultando assim a interpretação do pensamento declarado pela proposição em análise, assim como dificulta a verificação da equivalência lógica.

Imagine ter que usar o método de tabela verdade para verificar se duas complexas proposições são equivalentes! Ou para interpretar uma proposição com muitas operações lógicas e muitas proposições componentes!

Certamente será grande o risco de erro durante a resolução via tabela verdade, apresentando grande possibilidade de engano na aplicação da ordem de precedência, bem como, na aplicação das regras das operações lógicas.