Tema 3
26 Outubro 2017, 11:30 • Mário Jorge Edmundo
Regras de inferência e estratégias de demonstração: demonstração de proposição existencial, demonstração com hipótese existencial, instanciação universal, demonstração de proposição universal, demonstração por indução iniciada em k, demonstração por indução completa iniciada em k. Números irracionais: a reta real e os números reais, relação de ordem, números inteiros, naturais e racionais, axiomas para as operações com números, axiomas para a igualdade.