1 - Redução de proposições e conectivos

Além da comprovação de equivalências lógicas via método dedutivo, as regras notáveis também dão suporte à obtenção de proposições mais simples, de menor tamanho e, consequentemente, com um número menor de conectivos.

A equivalência lógica abaixo é um excelente exemplo de como o método dedutivo possibilita a obtenção de uma proposição de menor tamanho:

Veja a resolução: