AULA 13
31 Outubro 2017, 10:30 • Fernando Ferreira
Modus ponens, modus tollens. Método da demonstração condicional. Exemplos. A locução "As seguintes condições são mutuamente equivalentes". As regras de eliminação e introdução do condicional. Um exemplo de dedução formal com o condicional.