T_18

22 Novembro 2022, 10:30 • Mário Jorge Edmundo

Exemplo de uma demonstração formal errada; exemplos de demonstrações informais e de contra-exemplos; mais exemplos de demonstrações formais.