O objetivo deste tópico é apresentar o conceito de equivalência lógica, alguns teoremas envolvidos, a ideia de proposição associada a uma condicional e, por fim, as as propriedades das negações conjuntas e disjuntas.
Todas as implicações e equivalências foram demonstradas até aqui com o auxílio das tabelas-verdade. Agora nós vamos exemplificar a demonstração de implicações e equivalências por um método mais eficiente, denominado "Método dedutivo".