Tema: equivalência e implicação lógica envolvendo quantificadores
13 Outubro 2016, 11:30 • Mário Jorge Edmundo
Equivalência lógica de condições ou proposições com ou sem quantificadores: propriedades da equivalência lógica; contra-recíproco; negação de uma implicação; negação de uma equivalência; regras de substituição; recíproca e contra-recíproca de uma implicação universal; negação de uma implicação universal. Implicação lógica de condições ou proposições com ou sem quantificadores: propriedades da implicação lógica.