Demonstrações Formais

11 Novembro 2020, 09:30 • Daniela Montrasio

• Alguns exemplos mais de  demonstrações formais;
• Demonstração do Modus Tollendo Ponens;
• Exercício 39;
• Exercício 40;
• Exercício 41;