1 - As Regras das Equivalências Notáveis

Algumas equivalências lógicas entre proposições são muito importantes para a aplicação prática deste assunto na informática, conforme detalharemos na outra Unidade.

Quanto maior a proposição composta, maior será a respectiva tabela verdade e maior será a possibilidade na ordem de precedência, bem como na aplicação das regras das operações lógicas.

Sendo assim, algumas comprovações de equivalência são praticadas pelo método Dedutivo, que estudaremos neste módulo.

O método dedutivo é um método algébrico, que, de forma similar à matemática convencional, possui propriedades e regras que aplicamos à proposição para obter nova proposição, equivalente logicamente à proposição original.

Exemplo: verifique a equivalência lógica entre as seguintes proposições abaixo.

p → (p → r)

~p ∨ r

Já sabemos como verificar pelo método da tabela verdade, mas como seria pelo método dedutivo?