AULA 14
8 Novembro 2016, 10:30 • Fernando Ferreira
A regra de eliminação do condicional (Modus Ponens) e da introdução do condicional (método de demonstração condicional). Vários exemplos, informais e formais. A regra de eliminação do bicondicional.
8 Novembro 2016, 10:30 • Fernando Ferreira
A regra de eliminação do condicional (Modus Ponens) e da introdução do condicional (método de demonstração condicional). Vários exemplos, informais e formais. A regra de eliminação do bicondicional.