Tema: equivalência lógica de proposições

27 Setembro 2016, 09:30 • Mário Jorge Edmundo

Equivalência lógica; recíproca e contra-recíproca; negação de uma implicação; propriedades da equivalência lógica; regras de substituição; negação de uma equivalência.