Tema 1

26 Setembro 2017, 09:30 • Mário Jorge Edmundo

Tautologia, contradição e contingencia. 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.