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.